equal
deleted
inserted
replaced
34 |
34 |
35 FOLP-ex: FOLP $(LOG)/FOLP-ex.gz |
35 FOLP-ex: FOLP $(LOG)/FOLP-ex.gz |
36 |
36 |
37 $(LOG)/FOLP-ex.gz: $(OUT)/FOLP ex/ROOT.ML ex/Foundation.thy ex/If.thy \ |
37 $(LOG)/FOLP-ex.gz: $(OUT)/FOLP ex/ROOT.ML ex/Foundation.thy ex/If.thy \ |
38 ex/Intro.thy ex/Nat.thy ex/Intuitionistic.thy ex/Classical.thy \ |
38 ex/Intro.thy ex/Nat.thy ex/Intuitionistic.thy ex/Classical.thy \ |
39 ex/Prolog.ML ex/Prolog.thy ex/Propositional_Int.thy \ |
39 ex/Propositional_Int.thy ex/Propositional_Cla.thy \ |
40 ex/Propositional_Cla.thy ex/Quantifiers_Int.thy \ |
40 ex/Quantifiers_Int.thy ex/Quantifiers_Cla.thy |
41 ex/Quantifiers_Cla.thy |
|
42 @$(ISABELLE_TOOL) usedir $(OUT)/FOLP ex |
41 @$(ISABELLE_TOOL) usedir $(OUT)/FOLP ex |
43 |
42 |
44 |
43 |
45 ## clean |
44 ## clean |
46 |
45 |