Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed: S4.thy to s4.thy, S43.thy to s43.thy, T.thy to t.thy
authorclasohm
Sun, 17 Oct 1993 18:03:47 +0100
changeset 60 379872528c16
parent 59 ab555029f583
child 61 f8c1922b78e3
renamed: S4.thy to s4.thy, S43.thy to s43.thy, T.thy to t.thy
src/Modal/Makefile file | annotate | diff | comparison | revisions 
--- 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)
isabelle