equal
deleted
inserted
replaced
43 ## FOL-ex |
43 ## FOL-ex |
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.thy ex/List.ML ex/List.thy ex/LocaleTest.thy \ |
49 ex/LocaleTest.thy \ |
|
50 ex/Nat.ML ex/Nat.thy ex/Nat2.ML ex/Nat2.thy ex/Natural_Numbers.thy \ |
49 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\ |
50 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 |
51 ex/foundn.ML ex/Intuitionistic.thy ex/intro.ML ex/prop.ML ex/quant.ML |
53 @$(ISATOOL) usedir $(OUT)/FOL ex |
52 @$(ISATOOL) usedir $(OUT)/FOL ex |
54 |
53 |