equal
deleted
inserted
replaced
24 LCF: FOL $(OUT)/LCF |
24 LCF: FOL $(OUT)/LCF |
25 |
25 |
26 FOL: |
26 FOL: |
27 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
27 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
28 |
28 |
29 $(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML pair.ML simpdata.ML |
29 $(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \ |
|
30 pair.thy simpdata.ML |
30 @$(ISATOOL) usedir -b $(OUT)/FOL LCF |
31 @$(ISATOOL) usedir -b $(OUT)/FOL LCF |
31 |
32 |
32 |
33 |
33 ## LCF-ex |
34 ## LCF-ex |
34 |
35 |
35 LCF-ex: LCF $(LOG)/LCF-ex.gz |
36 LCF-ex: LCF $(LOG)/LCF-ex.gz |
36 |
37 |
37 $(LOG)/LCF-ex.gz: $(OUT)/LCF ex/ROOT.ML ex/ex.ML |
38 $(LOG)/LCF-ex.gz: $(OUT)/LCF ex/Ex1.ML ex/Ex1.thy ex/Ex2.ML ex/Ex2.thy \ |
|
39 ex/Ex3.ML ex/Ex3.thy ex/Ex4.ML ex/Ex4.thy ex/ROOT.ML |
38 @$(ISATOOL) usedir $(OUT)/LCF ex |
40 @$(ISATOOL) usedir $(OUT)/LCF ex |
39 |
41 |
40 |
42 |
41 ## clean |
43 ## clean |
42 |
44 |