--- a/src/FOL/IsaMakefile Fri Mar 06 16:05:04 1998 +0100
+++ b/src/FOL/IsaMakefile Fri Mar 06 18:25:28 1998 +0100
@@ -26,11 +26,12 @@
Pure:
@cd $(SRC)/Pure; $(ISATOOL) make Pure
-$(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML \
- $(SRC)/Provers/classical.ML $(SRC)/Provers/hypsubst.ML \
- $(SRC)/Provers/ind.ML $(SRC)/Provers/simplifier.ML \
- $(SRC)/Provers/splitter.ML FOL.ML FOL.thy IFOL.ML IFOL.thy ROOT.ML \
- cladata.ML fologic.ML intprover.ML simpdata.ML
+$(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML \
+ $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
+ $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML \
+ $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML FOL.ML \
+ FOL.thy IFOL.ML IFOL.thy ROOT.ML cladata.ML fologic.ML intprover.ML \
+ simpdata.ML
@$(ISATOOL) usedir -b $(OUT)/Pure FOL