use Tools/ATP/VampCommunication.ML;
authorwenzelm
Mon Jun 20 21:33:27 2005 +0200 (2005-06-20)
changeset 16479cf872f3e16d9
parent 16478 d0a1f6231e2f
child 16480 abf475cf11f2
use Tools/ATP/VampCommunication.ML;
src/HOL/Reconstruction.thy
     1.1 --- a/src/HOL/Reconstruction.thy	Mon Jun 20 18:39:24 2005 +0200
     1.2 +++ b/src/HOL/Reconstruction.thy	Mon Jun 20 21:33:27 2005 +0200
     1.3 @@ -19,6 +19,7 @@
     1.4   	  "Tools/ATP/recon_translate_proof.ML"
     1.5   	  "Tools/ATP/recon_parse.ML"
     1.6   	  "Tools/ATP/recon_transfer_proof.ML"
     1.7 +	  "Tools/ATP/VampCommunication.ML"
     1.8  	  "Tools/ATP/VampireCommunication.ML"
     1.9  	  "Tools/ATP/SpassCommunication.ML"
    1.10  	  "Tools/ATP/watcher.sig"