diff -r 940713ba9d2b -r 67376a311a2b src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Sep 19 16:42:11 2005 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 19 18:30:22 2005 +0200
@@ -95,7 +95,7 @@
   Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy Set.ML		\
   Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML		\
   Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML			\
-  Tools/ATP/recon_prelim.ML Tools/ATP/recon_transfer_proof.ML			\
+  Tools/ATP/recon_transfer_proof.ML			\
   Tools/ATP/recon_translate_proof.ML Tools/ATP/res_clasimpset.ML		\
   Tools/ATP/watcher.ML 	Tools/comm_ring.ML					\
   Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML				\