| changeset 13301 | c505fc950cbe |
| parent 12526 | 1b9db2581fe2 |
| child 13550 | 5a176b8dda84 |
--- a/src/FOL/IsaMakefile Fri Jul 05 11:17:42 2002 +0200 +++ b/src/FOL/IsaMakefile Fri Jul 05 11:18:05 2002 +0200 @@ -26,6 +26,8 @@ Pure: @cd $(SRC)/Pure; $(ISATOOL) make Pure +$(OUT)/Pure: Pure + $(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML $(SRC)/Provers/make_elim.ML \ $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML $(SRC)/Provers/induct_method.ML \