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 theory files
authorclasohm
Fri, 22 Apr 1994 20:34:15 +0200
changeset 335 5623ca25803f
parent 334 9411dc57c56b
child 336 5170a992ad48
renamed theory files
src/CTT/Makefile file | annotate | diff | comparison | revisions
src/Cube/Makefile file | annotate | diff | comparison | revisions 
--- 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
 
--- 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 \
isabelle