| changeset 102 | e04cb6295a3f |
| parent 0 | a5a9c433f639 |
| child 338 | e3489bc1f857 |
--- a/src/LCF/Makefile Tue Nov 09 16:09:34 1993 +0100 +++ b/src/LCF/Makefile Tue Nov 09 16:32:24 1993 +0100 @@ -18,7 +18,7 @@ BIN = $(ISABELLEBIN) COMP = $(ISABELLECOMP) -FILES = ROOT.ML lcf.thy lcf.ML simpdata.ML pair.ML fix.ML ex.ML +FILES = ROOT.ML lcf.thy lcf.ML simpdata.ML pair.ML fix.ML #Uses cp rather than make_database because Poly/ML allows only 3 levels $(BIN)/LCF: $(BIN)/FOL $(FILES)