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