24 Sequents: Pure $(OUT)/Sequents |
24 Sequents: Pure $(OUT)/Sequents |
25 |
25 |
26 Pure: |
26 Pure: |
27 @cd $(SRC)/Pure; $(ISATOOL) make Pure |
27 @cd $(SRC)/Pure; $(ISATOOL) make Pure |
28 |
28 |
29 $(OUT)/Sequents: $(OUT)/Pure ILL.ML ILL.thy LK0.ML LK0.thy LK.thy \ |
29 $(OUT)/Sequents: $(OUT)/Pure ILL.ML ILL.thy LK0.thy LK.thy \ |
30 modal.ML ROOT.ML simpdata.ML S4.ML \ |
30 modal.ML ROOT.ML simpdata.ML S4.thy S43.thy Sequents.thy T.thy prover.ML \ |
31 S4.thy S43.ML S43.thy Sequents.thy T.ML T.thy prover.ML |
31 ILL_predlog.thy Washing.thy |
32 @$(ISATOOL) usedir -b $(OUT)/Pure Sequents |
32 @$(ISATOOL) usedir -b $(OUT)/Pure Sequents |
33 |
|
34 |
|
35 ## Sequents-ILL |
|
36 |
|
37 Sequents-ILL: Sequents $(LOG)/Sequents-ILL.gz |
|
38 |
|
39 $(LOG)/Sequents-ILL.gz: $(OUT)/Sequents ILL/ILL_kleene_lemmas.ML \ |
|
40 ILL/ILL_predlog.ML ILL/ILL_predlog.thy ILL/ROOT.ML ILL/washing.ML \ |
|
41 ILL/washing.thy |
|
42 @$(ISATOOL) usedir $(OUT)/Sequents ILL |
|
43 |
33 |
44 |
34 |
45 ## Sequents-LK |
35 ## Sequents-LK |
46 |
36 |
47 Sequents-LK: Sequents $(LOG)/Sequents-LK.gz |
37 Sequents-LK: Sequents $(LOG)/Sequents-LK.gz |
48 |
38 |
49 $(LOG)/Sequents-LK.gz: $(OUT)/Sequents LK/ROOT.ML LK/hardquant.ML \ |
39 $(LOG)/Sequents-LK.gz: $(OUT)/Sequents LK/ROOT.ML LK/Hard_Quantifiers.thy \ |
50 LK/prop.ML LK/quant.ML LK/Nat.thy LK/Nat.ML |
40 LK/Propositional.thy LK/Quantifiers.thy LK/Nat.thy |
51 @$(ISATOOL) usedir $(OUT)/Sequents LK |
41 @$(ISATOOL) usedir $(OUT)/Sequents LK |
52 |
|
53 |
|
54 ## Sequents-Modal |
|
55 |
|
56 Sequents-Modal: Sequents $(LOG)/Sequents-Modal.gz |
|
57 |
|
58 $(LOG)/Sequents-Modal.gz: $(OUT)/Sequents Modal/ROOT.ML \ |
|
59 Modal/S43thms.ML Modal/S4thms.ML Modal/Tthms.ML ROOT.ML |
|
60 @$(ISATOOL) usedir $(OUT)/Sequents Modal |
|
61 |
42 |
62 |
43 |
63 ## clean |
44 ## clean |
64 |
45 |
65 clean: |
46 clean: |
66 @rm -f $(OUT)/Sequents $(LOG)/Sequents.gz $(LOG)/Sequents-ILL.gz \ |
47 @rm -f $(OUT)/Sequents $(LOG)/Sequents.gz $(LOG)/Sequents-LK.gz |
67 $(LOG)/Sequents-LK.gz $(LOG)/Sequents-Modal.gz |
|