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