Added in new file Tools/ATP/reduce_axiomsN.ML
Added in new file Tools/ATP/reduce_axiomsN.ML

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle