# HG changeset patch
# User wenzelm
# Date 1119296007 -7200
# Node ID cf872f3e16d917ba15db8bad8a13cff29e3f235c
# Parent  d0a1f6231e2fc17d556ef107c34283ed10726439
use Tools/ATP/VampCommunication.ML;

diff -r d0a1f6231e2f -r cf872f3e16d9 src/HOL/Reconstruction.thy
--- a/src/HOL/Reconstruction.thy	Mon Jun 20 18:39:24 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Mon Jun 20 21:33:27 2005 +0200
@@ -19,6 +19,7 @@
  	  "Tools/ATP/recon_translate_proof.ML"
  	  "Tools/ATP/recon_parse.ML"
  	  "Tools/ATP/recon_transfer_proof.ML"
+	  "Tools/ATP/VampCommunication.ML"
 	  "Tools/ATP/VampireCommunication.ML"
 	  "Tools/ATP/SpassCommunication.ML"
 	  "Tools/ATP/watcher.sig"