pretty_full_theory: no longer display name prefix -- naming is far more complex now;
pretty_full_theory: no longer display name prefix -- naming is far more complex now;

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