changeset 17246 | 0f22089c6b9e |
parent 6213 | f5bdd6497e08 |
child 19755 | 90f80de04c46 |
17245:1c519a3cca59 | 17246:0f22089c6b9e |
---|---|
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 fix.thy pair.ML \ |
29 $(OUT)/LCF: $(OUT)/FOL LCF_lemmas.ML LCF.thy ROOT.ML fix.ML pair.ML |
30 pair.thy simpdata.ML |
|
31 @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF |
30 @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF |
32 |
31 |
33 |
32 |
34 ## LCF-ex |
33 ## LCF-ex |
35 |
34 |