--- a/src/CCL/ROOT.ML Fri Oct 15 12:51:21 1993 +0100
+++ b/src/CCL/ROOT.ML Sun Oct 17 16:30:16 1993 +0100
@@ -11,6 +11,8 @@
(* Higher-Order Set Theory Extension to FOL *)
(* used as basis for CCL *)
+(*set_load_path [".", "../FOL"]; wait for new Readthy*)
+
use_thy "set";
use "subset.ML";
use "equalities.ML";
@@ -22,13 +24,13 @@
(* with evaluation to weak head-normal form *)
use_thy "ccl";
-use_thy "terms";
-use_thy "types";
+use_thy "term";
+use_thy "type";
use "coinduction.ML";
use_thy "hered";
use_thy "trancl";
-use_thy "wf";
+use_thy "wfd";
use "genrec.ML";
use "typecheck.ML";
use "eval.ML";