revised for new theory system: removal of ext, addition of thy_name
revised for new theory system: removal of ext, addition of thy_name

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