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.
elimination of watcher.sig
authorpaulson
Wed, 07 Sep 2005 18:22:29 +0200
changeset 17307 a6d206750d6d
parent 17306 5cde710a8a23
child 17308 5d9bbc0d9bd3
elimination of watcher.sig
src/HOL/Reconstruction.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Reconstruction.thy	Wed Sep 07 18:14:26 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Wed Sep 07 18:22:29 2005 +0200
@@ -22,8 +22,7 @@
 	 "Tools/ATP/recon_transfer_proof.ML"
 	 "Tools/ATP/VampCommunication.ML"
 	 "Tools/ATP/SpassCommunication.ML"
-         "Tools/ATP/ECommunication.ML"
-	 "Tools/ATP/watcher.sig"
+     "Tools/ATP/ECommunication.ML"
 	 "Tools/ATP/watcher.ML"
 	 "Tools/ATP/res_clasimpset.ML"
 	 "Tools/res_atp.ML"
isabelle