| changeset 19757 | 4a2a71c31968 |
| parent 19755 | 90f80de04c46 |
| child 28500 | 4b79e5d3d0aa |
--- a/src/LCF/IsaMakefile Thu Jun 01 21:14:54 2006 +0200 +++ b/src/LCF/IsaMakefile Thu Jun 01 23:07:51 2006 +0200 @@ -26,7 +26,7 @@ FOL: @cd $(SRC)/FOL; $(ISATOOL) make FOL -$(OUT)/LCF: $(OUT)/FOL LCF_lemmas.ML LCF.thy ROOT.ML fix.ML pair.ML +$(OUT)/LCF: $(OUT)/FOL LCF.thy ROOT.ML @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF