# HG changeset patch
# User clasohm
# Date 767039655 -7200
# Node ID 5623ca25803f670918e753de9c2fa5f8965e6bea
# Parent  9411dc57c56b0051db6d80f2d850e38bd1e150cb
renamed theory files

diff -r 9411dc57c56b -r 5623ca25803f src/CTT/Makefile
--- a/src/CTT/Makefile	Fri Apr 22 20:23:02 1994 +0200
+++ b/src/CTT/Makefile	Fri Apr 22 20:34:15 1994 +0200
@@ -18,8 +18,8 @@
 
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
-FILES = 	ROOT.ML ctt.thy ctt.ML bool.thy bool.ML \
-		arith.thy arith.ML rew.ML ../Provers/typedsimp.ML
+FILES = 	ROOT.ML CTT.thy CTT.ML Bool.thy Bool.ML \
+		Arith.thy Arith.ML rew.ML ../Provers/typedsimp.ML
 
 EX_FILES = ex/ROOT.ML ex/elim.ML ex/equal.ML ex/synth.ML ex/typechk.ML
 
diff -r 9411dc57c56b -r 5623ca25803f src/Cube/Makefile
--- a/src/Cube/Makefile	Fri Apr 22 20:23:02 1994 +0200
+++ b/src/Cube/Makefile	Fri Apr 22 20:34:15 1994 +0200
@@ -19,7 +19,7 @@
 
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
-FILES = 	ROOT.ML  cube.thy  cube.ML
+FILES = 	ROOT.ML  Cube.thy  Cube.ML
 
 $(BIN)/Cube:   $(BIN)/Pure  $(FILES) 
 	case "$(COMP)" in \