equal
deleted
inserted
replaced
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)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML \ |
29 $(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML \ |
30 $(SRC)/Provers/classical.ML $(SRC)/Provers/hypsubst.ML \ |
30 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
31 $(SRC)/Provers/ind.ML $(SRC)/Provers/simplifier.ML \ |
31 $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML \ |
32 $(SRC)/Provers/splitter.ML FOL.ML FOL.thy IFOL.ML IFOL.thy ROOT.ML \ |
32 $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML FOL.ML \ |
33 cladata.ML fologic.ML intprover.ML simpdata.ML |
33 FOL.thy IFOL.ML IFOL.thy ROOT.ML cladata.ML fologic.ML intprover.ML \ |
|
34 simpdata.ML |
34 @$(ISATOOL) usedir -b $(OUT)/Pure FOL |
35 @$(ISATOOL) usedir -b $(OUT)/Pure FOL |
35 |
36 |
36 |
37 |
37 ## FOL-ex |
38 ## FOL-ex |
38 |
39 |