--- 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