# HG changeset patch
# User wenzelm
# Date 889205128 -3600
# Node ID 9259feeeb2c88d5562b7e18450dad27885dd19f4
# Parent  eb712fef644ba5bdfbc5007eaf695ecfe42277ff
added clasimp.ML;

diff -r eb712fef644b -r 9259feeeb2c8 src/FOL/IsaMakefile
--- 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