# HG changeset patch
# User wenzelm
# Date 1136567894 -3600
# Node ID 1e876583e24746ad6d49a60422667cd3d59ae740
# Parent  a52907967bae489b8ca73ebc23871beb8216ab1c
removed obsolete eqrule_FOL_data.ML;

diff -r a52907967bae -r 1e876583e247 src/FOL/IsaMakefile
--- a/src/FOL/IsaMakefile	Fri Jan 06 18:18:13 2006 +0100
+++ b/src/FOL/IsaMakefile	Fri Jan 06 18:18:14 2006 +0100
@@ -35,8 +35,7 @@
   $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML		\
   $(SRC)/Provers/splitter.ML FOL.ML FOL.thy FOL_lemmas1.ML IFOL.ML	\
   IFOL.thy IFOL_lemmas.ML ROOT.ML blastdata.ML cladata.ML 		\
-  document/root.tex eqrule_FOL_data.ML fologic.ML hypsubstdata.ML	\
-  intprover.ML simpdata.ML
+  document/root.tex fologic.ML hypsubstdata.ML intprover.ML simpdata.ML
 	@$(ISATOOL) usedir -p 2 -b $(OUT)/Pure FOL