theory Pure  provides regular application syntax by default; added old_appl_syntax_setup for former Pure clients;
theory Pure  provides regular application syntax by default;
added old_appl_syntax_setup for former Pure clients;

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