src/CTT/IsaMakefile
changeset 10467 e6e7205e9e91
parent 4518 74c01296e818
child 19761 5cd82054c2c6
     1.1 --- a/src/CTT/IsaMakefile	Tue Nov 14 13:25:59 2000 +0100
     1.2 +++ b/src/CTT/IsaMakefile	Tue Nov 14 13:26:48 2000 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4  	@cd $(SRC)/Pure; $(ISATOOL) make Pure
     1.5  
     1.6  $(OUT)/CTT: $(OUT)/Pure $(SRC)/Provers/typedsimp.ML Arith.ML Arith.thy \
     1.7 -  Bool.ML Bool.thy CTT.ML CTT.thy ROOT.ML rew.ML
     1.8 +  Bool.ML Bool.thy CTT.ML CTT.thy Main.thy ROOT.ML rew.ML
     1.9  	@$(ISATOOL) usedir -b $(OUT)/Pure CTT
    1.10  
    1.11