diff -r 56cda3ec2ef8 -r ee5fde055c9a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sun Mar 05 23:56:57 2006 +0100
+++ b/src/HOL/IsaMakefile	Tue Mar 07 03:48:02 2006 +0100
@@ -117,7 +117,7 @@
   Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy		\
   antisym_setup.ML arith_data.ML blastdata.ML cladata.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_atp_provers.ML Tools/res_atp_methods.ML	\
   Tools/res_hol_clause.ML
 	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL