|
4689
|
1 |
|
|
18
|
2 |
Pure/Syntax/
|
|
0
|
3 |
|
|
4689
|
4 |
|
|
|
5 |
This directory contains the source files for Isabelle's syntax module,
|
|
|
6 |
which includes a lexer, parser, pretty printer and macro system. Note
|
|
|
7 |
that only the following structures are supposed to be exported:
|
|
161
|
8 |
|
|
|
9 |
Pretty (generic pretty printing module)
|
|
4689
|
10 |
Scan (generic scanner toolbox)
|
|
4940
|
11 |
Source (co-algebraic data sources)
|
|
|
12 |
Symbol (generalized characters)
|
|
235
|
13 |
|
|
2581
|
14 |
Syntax (internal interface to the syntax module)
|
|
161
|
15 |
BasicSyntax (part of Syntax made pervasive)
|