src/FOL/IsaMakefile
changeset 13301 c505fc950cbe
parent 12526 1b9db2581fe2
child 13550 5a176b8dda84
equal deleted inserted replaced
13300:debf9ef73e4e 13301:c505fc950cbe
    24 FOL: Pure $(OUT)/FOL
    24 FOL: Pure $(OUT)/FOL
    25 
    25 
    26 Pure:
    26 Pure:
    27 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
    27 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
    28 
    28 
       
    29 $(OUT)/Pure: Pure
       
    30 
    29 $(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	$(SRC)/Provers/make_elim.ML \
    31 $(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	$(SRC)/Provers/make_elim.ML \
    30   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
    32   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
    31   $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML $(SRC)/Provers/induct_method.ML \
    33   $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML $(SRC)/Provers/induct_method.ML \
    32   $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML $(SRC)/Provers/quantifier1.ML\
    34   $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML $(SRC)/Provers/quantifier1.ML\
    33   FOL.ML FOL.thy FOL_lemmas1.ML FOL_lemmas2.ML IFOL.ML IFOL.thy \
    35   FOL.ML FOL.thy FOL_lemmas1.ML FOL_lemmas2.ML IFOL.ML IFOL.thy \