| changeset 29134 | 9657871890c7 |
| parent 28997 | a5a91f387791 |
| child 30189 | 3633f560f4c3 |
| 29133:9d10cc6aaa02 | 29134:9657871890c7 |
|---|---|
1 (* Title: Pure/Syntax/syntax.ML |
1 (* Title: Pure/Syntax/syntax.ML |
2 ID: $Id$ |
|
3 Author: Tobias Nipkow and Markus Wenzel, TU Muenchen |
2 Author: Tobias Nipkow and Markus Wenzel, TU Muenchen |
4 |
3 |
5 Standard Isabelle syntax, based on arbitrary context-free grammars |
4 Standard Isabelle syntax, based on arbitrary context-free grammars |
6 (specified by mixfix declarations). |
5 (specified by mixfix declarations). |
7 *) |
6 *) |