| changeset 60 | 379872528c16 |
| parent 0 | a5a9c433f639 |
| child 102 | e04cb6295a3f |
--- a/src/Modal/Makefile Sun Oct 17 16:30:16 1993 +0100 +++ b/src/Modal/Makefile Sun Oct 17 18:03:47 1993 +0100 @@ -18,7 +18,7 @@ BIN = $(ISABELLEBIN) COMP = $(ISABELLECOMP) -FILES = ROOT.ML modal0.thy prover.ML T.thy S4.thy S43.thy +FILES = ROOT.ML modal0.thy prover.ML t.thy s4.thy s43.thy #Uses cp rather than make_database because Poly/ML allows only 3 levels $(BIN)/Modal: $(BIN)/LK $(FILES)