src/FOL/IsaMakefile
changeset 21539 c5cf9243ad62
parent 19839 1704c66e5e7e
child 22822 c1a6a2159e69
equal deleted inserted replaced
21538:678299eac351 21539:c5cf9243ad62
    35   $(SRC)/Provers/IsaPlanner/rw_tools.ML	\
    35   $(SRC)/Provers/IsaPlanner/rw_tools.ML	\
    36   $(SRC)/Provers/IsaPlanner/rw_inst.ML \
    36   $(SRC)/Provers/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/ind.ML $(SRC)/Provers/induct_method.ML			\
    38   $(SRC)/Provers/ind.ML $(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.ML FOL.thy FOL_lemmas1.ML IFOL.ML	\
    40   $(SRC)/Provers/splitter.ML FOL.thy IFOL.thy ROOT.ML blastdata.ML cladata.ML 		\
    41   IFOL.thy IFOL_lemmas.ML ROOT.ML blastdata.ML cladata.ML 		\
       
    42   document/root.tex fologic.ML hypsubstdata.ML intprover.ML simpdata.ML
    41   document/root.tex fologic.ML hypsubstdata.ML intprover.ML simpdata.ML
    43 	@$(ISATOOL) usedir -p 2 -b $(OUT)/Pure FOL
    42 	@$(ISATOOL) usedir -p 2 -b $(OUT)/Pure FOL
    44 
    43 
    45 
    44 
    46 ## FOL-ex
    45 ## FOL-ex