present_text: Toplevel.no_body_context prevents use of wrong context in interaction;
present_text: Toplevel.no_body_context prevents use of wrong context in interaction;

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