--- a/src/HOL/IsaMakefile Fri Oct 28 02:30:12 2005 +0200
+++ b/src/HOL/IsaMakefile Fri Oct 28 02:30:53 2005 +0200
@@ -115,7 +115,7 @@
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_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