equal
deleted
inserted
replaced
28 |
28 |
29 $(OUT)/Pure$(ML_SUFFIX): Pure |
29 $(OUT)/Pure$(ML_SUFFIX): Pure |
30 |
30 |
31 $(OUT)/FOL$(ML_SUFFIX): $(OUT)/Pure$(ML_SUFFIX) $(SRC)/Provers/blast.ML \ |
31 $(OUT)/FOL$(ML_SUFFIX): $(OUT)/Pure$(ML_SUFFIX) $(SRC)/Provers/blast.ML \ |
32 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
32 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
33 $(SRC)/Provers/IsaPlanner/zipper.ML \ |
33 $(SRC)/Tools/IsaPlanner/zipper.ML \ |
34 $(SRC)/Provers/IsaPlanner/isand.ML \ |
34 $(SRC)/Tools/IsaPlanner/isand.ML \ |
35 $(SRC)/Provers/IsaPlanner/rw_tools.ML \ |
35 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
36 $(SRC)/Provers/IsaPlanner/rw_inst.ML \ |
36 $(SRC)/Tools/IsaPlanner/rw_inst.ML \ |
37 $(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML \ |
37 $(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML \ |
38 $(SRC)/Provers/induct_method.ML \ |
38 $(SRC)/Provers/induct_method.ML \ |
39 $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \ |
39 $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \ |
40 $(SRC)/Provers/splitter.ML FOL.thy IFOL.thy ROOT.ML blastdata.ML cladata.ML \ |
40 $(SRC)/Provers/splitter.ML FOL.thy IFOL.thy ROOT.ML blastdata.ML cladata.ML \ |
41 document/root.tex fologic.ML hypsubstdata.ML intprover.ML simpdata.ML |
41 document/root.tex fologic.ML hypsubstdata.ML intprover.ML simpdata.ML |