changeset 12785 | 27debaf2112d |
parent 11697 | 8dd899efbd35 |
child 13808 | f67a53bf63bc |
--- a/src/Pure/Syntax/lexicon.ML Wed Jan 16 23:18:20 2002 +0100 +++ b/src/Pure/Syntax/lexicon.ML Wed Jan 16 23:19:34 2002 +0100 @@ -1,6 +1,7 @@ (* Title: Pure/Syntax/lexicon.ML ID: $Id$ Author: Tobias Nipkow and Markus Wenzel, TU Muenchen + License: GPL (GNU GENERAL PUBLIC LICENSE) Lexer for the inner Isabelle syntax (terms and types). *)