equal
deleted
inserted
replaced
44 |
44 |
45 FOL-ex: FOL $(LOG)/FOL-ex.gz |
45 FOL-ex: FOL $(LOG)/FOL-ex.gz |
46 |
46 |
47 $(LOG)/FOL-ex.gz: $(OUT)/FOL ex/First_Order_Logic.thy \ |
47 $(LOG)/FOL-ex.gz: $(OUT)/FOL ex/First_Order_Logic.thy \ |
48 ex/If.thy ex/IffOracle.ML ex/IffOracle.thy ex/List.ML ex/List.thy \ |
48 ex/If.thy ex/IffOracle.ML ex/IffOracle.thy ex/List.ML ex/List.thy \ |
|
49 ex/LocaleTest.thy \ |
49 ex/LocaleInst.thy \ |
50 ex/LocaleInst.thy \ |
50 ex/Nat.ML ex/Nat.thy ex/Nat2.ML ex/Nat2.thy ex/Natural_Numbers.thy \ |
51 ex/Nat.ML ex/Nat.thy ex/Nat2.ML ex/Nat2.thy ex/Natural_Numbers.thy \ |
51 ex/Prolog.ML ex/Prolog.thy ex/ROOT.ML ex/Classical.thy ex/document/root.tex\ |
52 ex/Prolog.ML ex/Prolog.thy ex/ROOT.ML ex/Classical.thy ex/document/root.tex\ |
52 ex/foundn.ML ex/Intuitionistic.thy ex/intro.ML ex/prop.ML ex/quant.ML |
53 ex/foundn.ML ex/Intuitionistic.thy ex/intro.ML ex/prop.ML ex/quant.ML |
53 @$(ISATOOL) usedir $(OUT)/FOL ex |
54 @$(ISATOOL) usedir $(OUT)/FOL ex |