| changeset 338 | e3489bc1f857 |
| parent 102 | e04cb6295a3f |
| child 468 | 3dd1dcb509ac |
--- a/src/Modal/Makefile Fri Apr 22 20:52:01 1994 +0200 +++ b/src/Modal/Makefile Fri Apr 22 21:47:22 1994 +0200 @@ -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 EX_FILES = ex/ROOT.ML ex/S43thms.ML ex/S4thms.ML ex/Tthms.ML #Uses cp rather than make_database because Poly/ML allows only 3 levels