Thm.def_name_optional; ProofDisplay.pretty_consts;
Thm.def_name_optional;
ProofDisplay.pretty_consts;

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