| changeset 17246 | 0f22089c6b9e |
| parent 6213 | f5bdd6497e08 |
| child 19755 | 90f80de04c46 |
--- a/src/LCF/IsaMakefile Sat Sep 03 17:15:51 2005 +0200 +++ b/src/LCF/IsaMakefile Sat Sep 03 17:54:05 2005 +0200 @@ -26,8 +26,7 @@ FOL: @cd $(SRC)/FOL; $(ISATOOL) make FOL -$(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \ - pair.thy simpdata.ML +$(OUT)/LCF: $(OUT)/FOL LCF_lemmas.ML LCF.thy ROOT.ML fix.ML pair.ML @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF