print_theory: observe Markup.internal_property of consts, discontinued special treatment of internal names elsewhere;
print_theory: observe Markup.internal_property of consts, discontinued special treatment of internal names elsewhere;

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