home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Binaries / examples / kb / loadall.ml < prev    next >
Encoding:
Text File  |  1993-09-24  |  107 b   |  7 lines  |  [TEXT/ttxt]
  1. load "prelude.ml";;
  2. load "terms.ml";;
  3. load "equation.ml";;
  4. load "order.ml";;
  5. load "kb.ml";;
  6. load "go.ml";;
  7.