| changeset 19757 | 4a2a71c31968 |
| parent 19755 | 90f80de04c46 |
| child 28500 | 4b79e5d3d0aa |
| 19756:61c4117345c6 | 19757:4a2a71c31968 |
|---|---|
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_lemmas.ML LCF.thy ROOT.ML fix.ML pair.ML |
29 $(OUT)/LCF: $(OUT)/FOL LCF.thy ROOT.ML |
30 @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF |
30 @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF |
31 |
31 |
32 |
32 |
33 ## LCF-ex |
33 ## LCF-ex |
34 |
34 |