# HG changeset patch
# User wenzelm
# Date 1136567895 -3600
# Node ID 32c1bf8cf1a41957c86e2fcbc20f38f887315a03
# Parent  1e876583e24746ad6d49a60422667cd3d59ae740
removed obsolete eqrule_HOL_data.ML;

diff -r 1e876583e247 -r 32c1bf8cf1a4 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jan 06 18:18:14 2006 +0100
+++ b/src/HOL/IsaMakefile	Fri Jan 06 18:18:15 2006 +0100
@@ -114,9 +114,9 @@
   Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy		\
   Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy		\
   antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
-  document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML			\
-  ResAtpMethods.thy \
-  Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML Tools/res_hol_clause.ML 	
+  document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy 			\
+  Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML	\
+  Tools/res_hol_clause.ML
 	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL