thms_of no longer global; added all_thms_of; theorems: NameSpace.table;
thms_of no longer global;
added all_thms_of;
theorems: NameSpace.table;

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