full Display.pprint_theory for ML toplevel facilitates debugging;
full Display.pprint_theory for ML toplevel facilitates debugging;

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