setup: theory -> theory; Syntax.appl(C)_syntax;
setup: theory -> theory;
Syntax.appl(C)_syntax;

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