changeset 29134 | 9657871890c7 |
parent 28997 | a5a91f387791 |
child 30189 | 3633f560f4c3 |
1.1 --- a/src/Pure/Syntax/syntax.ML Wed Dec 17 12:10:39 2008 +0100 1.2 +++ b/src/Pure/Syntax/syntax.ML Wed Dec 17 12:10:39 2008 +0100 1.3 @@ -1,5 +1,4 @@ 1.4 (* Title: Pure/Syntax/syntax.ML 1.5 - ID: $Id$ 1.6 Author: Tobias Nipkow and Markus Wenzel, TU Muenchen 1.7 1.8 Standard Isabelle syntax, based on arbitrary context-free grammars