pprint: proper global context via Syntax.init_pretty_global;
pprint: proper global context via Syntax.init_pretty_global;

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