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.
consolidation of watcher.ML and watcher.sig
authorpaulson
Wed, 07 Sep 2005 09:53:50 +0200
changeset 17304 c33c9e9df4f8
parent 17303 560cf01f4772
child 17305 6cef3aedd661
consolidation of watcher.ML and watcher.sig
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Sep 07 02:38:38 2005 +0200
+++ b/src/HOL/IsaMakefile	Wed Sep 07 09:53:50 2005 +0200
@@ -96,7 +96,7 @@
   Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML			\
   Tools/ATP/recon_prelim.ML Tools/ATP/recon_transfer_proof.ML			\
   Tools/ATP/recon_translate_proof.ML Tools/ATP/res_clasimpset.ML		\
-  Tools/ATP/watcher.ML Tools/ATP/watcher.sig					\
+  Tools/ATP/watcher.ML 					\
   Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML				\
   Tools/datatype_codegen.ML Tools/datatype_package.ML				\
   Tools/datatype_prop.ML Tools/datatype_realizer.ML				\
isabelle