diff -r 04e21a27c0ad -r 5bf0e0aacc24 src/HOL/Reconstruction.thy
--- a/src/HOL/Reconstruction.thy	Thu Sep 08 16:09:23 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Thu Sep 08 17:35:02 2005 +0200
@@ -22,7 +22,6 @@
 	 "Tools/ATP/recon_transfer_proof.ML"
 	 "Tools/ATP/VampCommunication.ML"
 	 "Tools/ATP/SpassCommunication.ML"
-     "Tools/ATP/ECommunication.ML"
 	 "Tools/ATP/watcher.ML"
 	 "Tools/ATP/res_clasimpset.ML"
 	 "Tools/res_atp.ML"