src/FOL/IsaMakefile
changeset 9157 998dd2fb5795
parent 7355 4c43090659ca
child 9205 f171fa6a0989
     1.1 --- a/src/FOL/IsaMakefile	Tue Jun 27 23:43:46 2000 +0200
     1.2 +++ b/src/FOL/IsaMakefile	Wed Jun 28 10:37:08 2000 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  Pure:
     1.5  	@cd $(SRC)/Pure; $(ISATOOL) make Pure
     1.6  
     1.7 -$(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	\
     1.8 +$(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	$(SRC)/Provers/make_elim.ML \
     1.9    $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
    1.10    $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML \
    1.11    $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML FOL.ML \