--- 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 \