equal
deleted
inserted
replaced
33 |
33 |
34 ## FOLP-ex |
34 ## FOLP-ex |
35 |
35 |
36 FOLP-ex: FOLP $(LOG)/FOLP-ex.gz |
36 FOLP-ex: FOLP $(LOG)/FOLP-ex.gz |
37 |
37 |
38 $(LOG)/FOLP-ex.gz: $(OUT)/FOLP ex/ROOT.ML ex/cla.ML ex/foundn.ML \ |
38 $(LOG)/FOLP-ex.gz: $(OUT)/FOLP ex/ROOT.ML ex/cla.ML ex/Foundation.thy \ |
39 ex/If.ML ex/If.thy ex/int.ML ex/intro.ML ex/Nat.ML ex/Nat.thy \ |
39 ex/If.thy ex/int.ML ex/Intro.thy ex/Nat.thy \ |
40 ex/Prolog.ML ex/Prolog.thy ex/prop.ML ex/quant.ML |
40 ex/Prolog.ML ex/Prolog.thy ex/prop.ML ex/quant.ML |
41 @$(ISATOOL) usedir $(OUT)/FOLP ex |
41 @$(ISATOOL) usedir $(OUT)/FOLP ex |
42 |
42 |
43 |
43 |
44 ## clean |
44 ## clean |