adapted to new PureThy.add_tthmss; Theory.parent_path;
adapted to new PureThy.add_tthmss;
Theory.parent_path;

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