src/FOL/IsaMakefile
changeset 23914 3e0424305fa4
parent 23171 861f63a35d31
child 24830 a7b3ab44d993
equal deleted inserted replaced
23913:fcfacb6670ed 23914:3e0424305fa4
    48 
    48 
    49 $(LOG)/FOL-ex.gz: $(OUT)/FOL$(ML_SUFFIX) ex/First_Order_Logic.thy \
    49 $(LOG)/FOL-ex.gz: $(OUT)/FOL$(ML_SUFFIX) ex/First_Order_Logic.thy \
    50   ex/If.thy ex/IffOracle.thy ex/LocaleTest.thy \
    50   ex/If.thy ex/IffOracle.thy ex/LocaleTest.thy \
    51   ex/Nat.thy ex/Natural_Numbers.thy ex/Miniscope.thy \
    51   ex/Nat.thy ex/Natural_Numbers.thy ex/Miniscope.thy \
    52   ex/Prolog.thy ex/ROOT.ML ex/Classical.thy ex/document/root.tex \
    52   ex/Prolog.thy ex/ROOT.ML ex/Classical.thy ex/document/root.tex \
    53   ex/Foundation.thy ex/Intuitionistic.thy ex/Intro.thy ex/prop.ML ex/quant.ML
    53   ex/Foundation.thy ex/Intuitionistic.thy ex/Intro.thy \
       
    54   ex/Propositional_Int.thy ex/Propositional_Cla.thy \
       
    55   ex/Quantifiers_Int.thy ex/Quantifiers_Cla.thy
    54 	@$(ISATOOL) usedir $(OUT)/FOL ex
    56 	@$(ISATOOL) usedir $(OUT)/FOL ex
    55 
    57 
    56 
    58 
    57 ## clean
    59 ## clean
    58 
    60