| changeset 10467 | e6e7205e9e91 |
| parent 4518 | 74c01296e818 |
| child 19761 | 5cd82054c2c6 |
--- 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