--- a/src/Pure/Syntax/lexicon.ML Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/lexicon.ML Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
(* Title: Pure/Syntax/lexicon.ML
- ID: $Id$
Author: Tobias Nipkow and Markus Wenzel, TU Muenchen
Lexer for the inner Isabelle syntax (terms and types).