# 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"