src/CCL/ROOT.ML
changeset 121 d392174734e9
parent 72 099d949fe467
child 997 a58082b8066c
--- a/src/CCL/ROOT.ML	Mon Nov 15 14:41:25 1993 +0100
+++ b/src/CCL/ROOT.ML	Tue Nov 16 14:10:19 1993 +0100
@@ -11,29 +11,27 @@
 (* Higher-Order Set Theory Extension to FOL *)
 (*      used as basis for CCL               *)
 
-set_loadpath [".", "../FOL"];
-
-use_thy "set";
+use_thy "Set";
 use     "subset.ML";
 use     "equalities.ML";
 use     "mono.ML";
-use_thy "lfp";
-use_thy "gfp";
+use_thy "Lfp";
+use_thy "Gfp";
 
 (* CCL - a computational logic for an untyped functional language *)
 (*                       with evaluation to weak head-normal form *)
 
-use_thy "ccl";
-use_thy "term";
-use_thy "type";
+use_thy "CCL";
+use_thy "Term";
+use_thy "Type";
 use     "coinduction.ML";
-use_thy "hered";
+use_thy "Hered";
 
-use_thy "trancl";
-use_thy "wfd";
+use_thy "Trancl";
+use_thy "Wfd";
 use     "genrec.ML";
 use     "typecheck.ML";
 use     "eval.ML";
-use_thy "fix";
+use_thy "Fix";
 
 val CCL_build_completed = ();   (*indicate successful build*)