added thm, thms, Open_locale, Close_locale, Print_scope;
added thm, thms, Open_locale, Close_locale, Print_scope;

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