author wenzelm
Mon, 09 Nov 1998 15:42:08 +0100
changeset 5840 e2d2b896c717
parent 4940 dd4bbbcd1d22
child 6116 8ba2f25610f7
permissions -rw-r--r--
Object logic specific operations.


This directory contains the source files for Isabelle's syntax module,
which includes a lexer, parser, pretty printer and macro system. Note
that only the following structures are supposed to be exported:

  Pretty        (generic pretty printing module)
  Scan          (generic scanner toolbox)
  Source	(co-algebraic data sources)
  Symbol	(generalized characters)

  Syntax        (internal interface to the syntax module)
  BasicSyntax   (part of Syntax made pervasive)