Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Reconstruction.thy
changeset 17229 aca2ce40be35
parent 16588 8de758143786
child 17236 6edb84c661dd 
--- a/src/HOL/Reconstruction.thy	Fri Sep 02 09:50:58 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Fri Sep 02 15:24:58 2005 +0200
@@ -20,7 +20,6 @@
 	 "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"
 	 "Tools/ATP/watcher.ML"
isabelle