removed with_local_path -- LocalTheory.note admits qualified names; TheoryTarget.init;
removed with_local_path -- LocalTheory.note admits qualified names;
TheoryTarget.init;

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