# HG changeset patch
# User wenzelm
# Date 1125762845 -7200
# Node ID 0f22089c6b9e02aa858a290ecb83cad73c3b9cb0
# Parent  1c519a3cca5917802bf02de176f38d4562e68bdb
removed fix.thy, pair.thy, simpdata.ML;
renamed LCF.ML to LCF_lemmas.ML;

diff -r 1c519a3cca59 -r 0f22089c6b9e src/LCF/IsaMakefile
--- 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