# HG changeset patch
# User clasohm
# Date 750877427 -3600
# Node ID 379872528c169d0eaca5db3d04de48479b409b78
# Parent  ab555029f583dd9b777c4f49a61c78b0cacf0b5c
renamed: S4.thy to s4.thy, S43.thy to s43.thy, T.thy to t.thy

diff -r ab555029f583 -r 379872528c16 src/Modal/Makefile
--- 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)