proper subsexp projection of Isabelle_Markup.Path, in correspondence to 5d0cd770828e;
proper subsexp projection of Isabelle_Markup.Path, in correspondence to 5d0cd770828e;

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