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.
Added in new file Tools/ATP/reduce_axiomsN.ML
authormengj
Fri, 27 Jan 2006 05:45:25 +0100
changeset 18793 3536d86b5dc1
parent 18792 fb427f4a01f2
child 18794 46d66332bf81
Added in new file Tools/ATP/reduce_axiomsN.ML
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Jan 27 05:37:12 2006 +0100
+++ b/src/HOL/IsaMakefile	Fri Jan 27 05:45:25 2006 +0100
@@ -95,6 +95,7 @@
   Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML		\
   Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML			\
   Tools/ATP/recon_transfer_proof.ML			\
+  Tools/ATP/reduce_axiomsN.ML 							\
   Tools/ATP/recon_translate_proof.ML Tools/ATP/res_clasimpset.ML		\
   Tools/ATP/watcher.ML 					\
   Tools/cnf_funcs.ML					\
isabelle