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