src/Pure/Syntax/README

new primitive rule permute_prems to underlie defer_tac and rotate_prems

                              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)