Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use Tools/ATP/VampCommunication.ML;
authorwenzelm
Mon, 20 Jun 2005 21:33:27 +0200
changeset 16479 cf872f3e16d9
parent 16478 d0a1f6231e2f
child 16480 abf475cf11f2
use Tools/ATP/VampCommunication.ML;
src/HOL/Reconstruction.thy file | annotate | diff | comparison | revisions 
--- 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"
isabelle