src/CCL/ROOT.ML
changeset 121 d392174734e9
parent 72 099d949fe467
child 997 a58082b8066c
     1.1 --- a/src/CCL/ROOT.ML	Mon Nov 15 14:41:25 1993 +0100
     1.2 +++ b/src/CCL/ROOT.ML	Tue Nov 16 14:10:19 1993 +0100
     1.3 @@ -11,29 +11,27 @@
     1.4  (* Higher-Order Set Theory Extension to FOL *)
     1.5  (*      used as basis for CCL               *)
     1.6  
     1.7 -set_loadpath [".", "../FOL"];
     1.8 -
     1.9 -use_thy "set";
    1.10 +use_thy "Set";
    1.11  use     "subset.ML";
    1.12  use     "equalities.ML";
    1.13  use     "mono.ML";
    1.14 -use_thy "lfp";
    1.15 -use_thy "gfp";
    1.16 +use_thy "Lfp";
    1.17 +use_thy "Gfp";
    1.18  
    1.19  (* CCL - a computational logic for an untyped functional language *)
    1.20  (*                       with evaluation to weak head-normal form *)
    1.21  
    1.22 -use_thy "ccl";
    1.23 -use_thy "term";
    1.24 -use_thy "type";
    1.25 +use_thy "CCL";
    1.26 +use_thy "Term";
    1.27 +use_thy "Type";
    1.28  use     "coinduction.ML";
    1.29 -use_thy "hered";
    1.30 +use_thy "Hered";
    1.31  
    1.32 -use_thy "trancl";
    1.33 -use_thy "wfd";
    1.34 +use_thy "Trancl";
    1.35 +use_thy "Wfd";
    1.36  use     "genrec.ML";
    1.37  use     "typecheck.ML";
    1.38  use     "eval.ML";
    1.39 -use_thy "fix";
    1.40 +use_thy "Fix";
    1.41  
    1.42  val CCL_build_completed = ();   (*indicate successful build*)