Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/FOL/IsaMakefile
changeset 29249 4dc278c8dc59
parent 28873 2058a6b0eb20
child 29357 11956fa598b7
equal deleted inserted replaced
29248:f1f1bccf2fc5 29249:4dc278c8dc59 
    44 ## FOL-ex
 
    44 ## FOL-ex
 
    45 
    45 
    46 FOL-ex: FOL $(LOG)/FOL-ex.gz
 
    46 FOL-ex: FOL $(LOG)/FOL-ex.gz
 
    47 
    47 
    48 $(LOG)/FOL-ex.gz: $(OUT)/FOL ex/First_Order_Logic.thy ex/If.thy		\
 
    48 $(LOG)/FOL-ex.gz: $(OUT)/FOL ex/First_Order_Logic.thy ex/If.thy		\
 
    49   ex/IffOracle.thy ex/LocaleTest.thy ex/Nat.thy ex/Natural_Numbers.thy	\
 
    49   ex/IffOracle.thy ex/Nat.thy ex/Natural_Numbers.thy	\
 
    50   ex/NewLocaleSetup.thy ex/NewLocaleTest.thy    \
 
    50   ex/NewLocaleSetup.thy ex/NewLocaleTest.thy    \
 
    51   ex/Miniscope.thy ex/Prolog.thy ex/ROOT.ML ex/Classical.thy		\
 
    51   ex/Miniscope.thy ex/Prolog.thy ex/ROOT.ML ex/Classical.thy		\
 
    52   ex/document/root.tex ex/Foundation.thy ex/Intuitionistic.thy		\
 
    52   ex/document/root.tex ex/Foundation.thy ex/Intuitionistic.thy		\
 
    53   ex/Intro.thy ex/Propositional_Int.thy ex/Propositional_Cla.thy	\
 
    53   ex/Intro.thy ex/Propositional_Int.thy ex/Propositional_Cla.thy	\
 
    54   ex/Quantifiers_Int.thy ex/Quantifiers_Cla.thy
 
    54   ex/Quantifiers_Int.thy ex/Quantifiers_Cla.thy
isabelle