renamed: terms.* to term.*, types.* to type.*, wf.* to wfd.*
authorclasohm
Sun Oct 17 16:30:16 1993 +0100 (1993-10-17)
changeset 59ab555029f583
parent 58 b30802dfbe80
child 60 379872528c16
renamed: terms.* to term.*, types.* to type.*, wf.* to wfd.*
src/CCL/Makefile
src/CCL/ROOT.ML
     1.1 --- a/src/CCL/Makefile	Fri Oct 15 12:51:21 1993 +0100
     1.2 +++ b/src/CCL/Makefile	Sun Oct 17 16:30:16 1993 +0100
     1.3 @@ -22,9 +22,9 @@
     1.4  SET_FILES = ROOT.ML set.thy set.ML subset.ML equalities.ML mono.ML \
     1.5  	    gfp.thy gfp.ML lfp.thy lfp.ML
     1.6  
     1.7 -CCL_FILES = ccl.thy ccl.ML terms.thy terms.ML types.thy types.ML \
     1.8 +CCL_FILES = ccl.thy ccl.ML term.thy term.ML type.thy type.ML \
     1.9              coinduction.ML hered.thy hered.ML trancl.thy trancl.ML\
    1.10 -            wf.thy wf.ML genrec.ML typecheck.ML eval.ML fix.thy fix.ML
    1.11 +            wfd.thy wfd.ML genrec.ML typecheck.ML eval.ML fix.thy fix.ML
    1.12  
    1.13  #Uses cp rather than make_database because Poly/ML allows only 3 levels
    1.14  $(BIN)/CCL:   $(BIN)/FOL  $(SET_FILES)  $(CCL_FILES) 
     2.1 --- a/src/CCL/ROOT.ML	Fri Oct 15 12:51:21 1993 +0100
     2.2 +++ b/src/CCL/ROOT.ML	Sun Oct 17 16:30:16 1993 +0100
     2.3 @@ -11,6 +11,8 @@
     2.4  (* Higher-Order Set Theory Extension to FOL *)
     2.5  (*      used as basis for CCL               *)
     2.6  
     2.7 +(*set_load_path [".", "../FOL"]; wait for new Readthy*)
     2.8 +
     2.9  use_thy "set";
    2.10  use     "subset.ML";
    2.11  use     "equalities.ML";
    2.12 @@ -22,13 +24,13 @@
    2.13  (*                       with evaluation to weak head-normal form *)
    2.14  
    2.15  use_thy "ccl";
    2.16 -use_thy "terms";
    2.17 -use_thy "types";
    2.18 +use_thy "term";
    2.19 +use_thy "type";
    2.20  use     "coinduction.ML";
    2.21  use_thy "hered";
    2.22  
    2.23  use_thy "trancl";
    2.24 -use_thy "wf";
    2.25 +use_thy "wfd";
    2.26  use     "genrec.ML";
    2.27  use     "typecheck.ML";
    2.28  use     "eval.ML";