Pure/Syntax/
This directory contains the source files for Isabelle's syntax module,
which includes a lexer, parser, pretty printer and macro system. Only
the following structures are exported:
Syntax (internal interface to the syntax module)
BasicSyntax (part of Syntax made pervasive)