# HG changeset patch
# User mengj
# Date 1138337199 -3600
# Node ID 46d66332bf81a92c43e0036976f2db4a562c1688
# Parent  3536d86b5dc1147bd42524240347cc765c3618c5
Added new file Tools/ATP/reduce_axiomsN.ML

diff -r 3536d86b5dc1 -r 46d66332bf81 src/HOL/Reconstruction.thy
--- 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"