author | wenzelm |
Sat, 03 Sep 2005 17:54:05 +0200 | |
changeset 17246 | 0f22089c6b9e |
parent 17245 | 1c519a3cca59 |
child 17247 | 6927a62c77dc |
--- 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