diff -r 78168ca70469 -r e6e7205e9e91 src/CTT/IsaMakefile
--- a/src/CTT/IsaMakefile	Tue Nov 14 13:25:59 2000 +0100
+++ b/src/CTT/IsaMakefile	Tue Nov 14 13:26:48 2000 +0100
@@ -27,7 +27,7 @@
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
 $(OUT)/CTT: $(OUT)/Pure $(SRC)/Provers/typedsimp.ML Arith.ML Arith.thy \
-  Bool.ML Bool.thy CTT.ML CTT.thy ROOT.ML rew.ML
+  Bool.ML Bool.thy CTT.ML CTT.thy Main.thy ROOT.ML rew.ML
 	@$(ISATOOL) usedir -b $(OUT)/Pure CTT