src/Pure/Syntax/README
author wenzelm
Wed Oct 31 21:59:07 2001 +0100 (2001-10-31)
changeset 12004 1703de633aaf
parent 6127 ece970eb5850
permissions -rw-r--r--
IsarThy.theorem_i: no locale;
     1 
     2                               Pure/Syntax/
     3 
     4 
     5 This directory contains the source files for Isabelle's syntax module,
     6 which includes a lexer, parser, pretty printer and macro system.  Only
     7 the following structures are exported:
     8 
     9   Syntax        (internal interface to the syntax module)
    10   BasicSyntax   (part of Syntax made pervasive)