* Pure/Syntax: generic interfaces for parsing and type checking; tuned;
* Pure/Syntax: generic interfaces for parsing and type checking;
tuned;

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