diff -r 19b460b39dad -r aca2ce40be35 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Sep 02 09:50:58 2005 +0200
+++ b/src/HOL/IsaMakefile	Fri Sep 02 15:24:58 2005 +0200
@@ -92,7 +92,7 @@
   ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy			\
   Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy Set.ML		\
   Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/SpassCommunication.ML		\
-  Tools/ATP/VampireCommunication.ML			\
+  Tools/ATP/VampCommunication.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_translate_proof.ML Tools/ATP/res_clasimpset.ML		\