diff -r 61c4117345c6 -r 4a2a71c31968 src/LCF/IsaMakefile
--- 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