src/CCL/ROOT.ML
changeset 59 ab555029f583
parent 0 a5a9c433f639
child 72 099d949fe467
     1.1 --- a/src/CCL/ROOT.ML	Fri Oct 15 12:51:21 1993 +0100
     1.2 +++ b/src/CCL/ROOT.ML	Sun Oct 17 16:30:16 1993 +0100
     1.3 @@ -11,6 +11,8 @@
     1.4  (* Higher-Order Set Theory Extension to FOL *)
     1.5  (*      used as basis for CCL               *)
     1.6  
     1.7 +(*set_load_path [".", "../FOL"]; wait for new Readthy*)
     1.8 +
     1.9  use_thy "set";
    1.10  use     "subset.ML";
    1.11  use     "equalities.ML";
    1.12 @@ -22,13 +24,13 @@
    1.13  (*                       with evaluation to weak head-normal form *)
    1.14  
    1.15  use_thy "ccl";
    1.16 -use_thy "terms";
    1.17 -use_thy "types";
    1.18 +use_thy "term";
    1.19 +use_thy "type";
    1.20  use     "coinduction.ML";
    1.21  use_thy "hered";
    1.22  
    1.23  use_thy "trancl";
    1.24 -use_thy "wf";
    1.25 +use_thy "wfd";
    1.26  use     "genrec.ML";
    1.27  use     "typecheck.ML";
    1.28  use     "eval.ML";