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 new file Tools/ATP/reduce_axiomsN.ML
authormengj
Fri, 27 Jan 2006 05:46:39 +0100
changeset 18794 46d66332bf81
parent 18793 3536d86b5dc1
child 18795 303793f49b0f
Added new file Tools/ATP/reduce_axiomsN.ML
src/HOL/Reconstruction.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Reconstruction.thy	Fri Jan 27 05:45:25 2006 +0100
+++ b/src/HOL/Reconstruction.thy	Fri Jan 27 05:46:39 2006 +0100
@@ -18,6 +18,7 @@
 	 "Tools/ATP/recon_transfer_proof.ML"
 	 "Tools/ATP/AtpCommunication.ML"
 	 "Tools/ATP/watcher.ML"
+         "Tools/ATP/reduce_axiomsN.ML"
 	 "Tools/ATP/res_clasimpset.ML"
 	 "Tools/res_atp.ML"
 	 "Tools/reconstruction.ML"
isabelle