changeset 21921 | f241e9cd26ca |
parent 21903 | bb5b9c267c1d |
child 21966 | edab0ecfbd7c |
--- a/src/Pure/Isar/outer_lex.ML Thu Dec 28 14:30:40 2006 +0100 +++ b/src/Pure/Isar/outer_lex.ML Thu Dec 28 14:30:41 2006 +0100 @@ -62,6 +62,8 @@ datatype token = Token of Position.T * (token_kind * string); +val eq_token = op = : token * token -> bool; + val str_of_kind = fn Command => "command" | Keyword => "keyword" @@ -81,7 +83,6 @@ | Malformed => "bad input" | EOF => "end-of-file"; -val eq_token = op = : token * token -> bool; (* control tokens *)