| changeset 17480 | fd19f77dcf60 |
| parent 4518 | 74c01296e818 |
| child 25991 | 31b38a39e589 |
--- a/src/FOLP/IsaMakefile Sat Sep 17 20:49:14 2005 +0200 +++ b/src/FOLP/IsaMakefile Sun Sep 18 14:25:48 2005 +0200 @@ -26,7 +26,7 @@ Pure: @cd $(SRC)/Pure; $(ISATOOL) make Pure -$(OUT)/FOLP: $(OUT)/Pure FOLP.ML FOLP.thy IFOLP.ML IFOLP.thy ROOT.ML \ +$(OUT)/FOLP: $(OUT)/Pure FOLP_lemmas.ML FOLP.thy IFOLP.ML IFOLP.thy ROOT.ML \ classical.ML hypsubst.ML intprover.ML simp.ML simpdata.ML @$(ISATOOL) usedir -b $(OUT)/Pure FOLP