home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Binaries / examples / kb / README < prev    next >
Encoding:
Text File  |  1993-09-24  |  143 b   |  3 lines  |  [TEXT/ttxt]
  1. This is a simple implementation of the Knuth-Bendix completion
  2. procedure for rewriting systems, written by Gerard Huet (Gerard.Huet@inria.fr).
  3.