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 \