src/Modal/Makefile
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)