src/CCL/Makefile
changeset 59 ab555029f583
parent 0 a5a9c433f639
child 101 d4730dd72226
--- a/src/CCL/Makefile	Fri Oct 15 12:51:21 1993 +0100
+++ b/src/CCL/Makefile	Sun Oct 17 16:30:16 1993 +0100
@@ -22,9 +22,9 @@
 SET_FILES = ROOT.ML set.thy set.ML subset.ML equalities.ML mono.ML \
 	    gfp.thy gfp.ML lfp.thy lfp.ML
 
-CCL_FILES = ccl.thy ccl.ML terms.thy terms.ML types.thy types.ML \
+CCL_FILES = ccl.thy ccl.ML term.thy term.ML type.thy type.ML \
             coinduction.ML hered.thy hered.ML trancl.thy trancl.ML\
-            wf.thy wf.ML genrec.ML typecheck.ML eval.ML fix.thy fix.ML
+            wfd.thy wfd.ML genrec.ML typecheck.ML eval.ML fix.thy fix.ML
 
 #Uses cp rather than make_database because Poly/ML allows only 3 levels
 $(BIN)/CCL:   $(BIN)/FOL  $(SET_FILES)  $(CCL_FILES)