equal
deleted
inserted
replaced
34 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
34 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
35 $(SRC)/Tools/IsaPlanner/rw_inst.ML $(SRC)/Tools/eqsubst.ML \ |
35 $(SRC)/Tools/IsaPlanner/rw_inst.ML $(SRC)/Tools/eqsubst.ML \ |
36 $(SRC)/Provers/hypsubst.ML $(SRC)/Tools/induct.ML \ |
36 $(SRC)/Provers/hypsubst.ML $(SRC)/Tools/induct.ML \ |
37 $(SRC)/Tools/intuitionistic.ML $(SRC)/Tools/atomize_elim.ML \ |
37 $(SRC)/Tools/intuitionistic.ML $(SRC)/Tools/atomize_elim.ML \ |
38 $(SRC)/Tools/project_rule.ML $(SRC)/Provers/quantifier1.ML \ |
38 $(SRC)/Tools/project_rule.ML $(SRC)/Provers/quantifier1.ML \ |
39 $(SRC)/Provers/splitter.ML FOL.thy IFOL.thy ROOT.ML blastdata.ML \ |
39 $(SRC)/Provers/splitter.ML FOL.thy IFOL.thy ROOT.ML cladata.ML \ |
40 cladata.ML document/root.tex fologic.ML hypsubstdata.ML intprover.ML \ |
40 document/root.tex fologic.ML hypsubstdata.ML intprover.ML \ |
41 simpdata.ML |
41 simpdata.ML |
42 @$(ISABELLE_TOOL) usedir -p 2 -b $(OUT)/Pure FOL |
42 @$(ISABELLE_TOOL) usedir -p 2 -b $(OUT)/Pure FOL |
43 |
43 |
44 |
44 |
45 ## FOL-ex |
45 ## FOL-ex |