Changed some code due to changes in reduce_axiomsN.ML.
Changed some code due to changes in reduce_axiomsN.ML.

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