eliminated old-fashioned Global_Theory.add_thms;
eliminated old-fashioned Global_Theory.add_thms;

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