
                              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)
