1.1 --- a/src/Pure/Isar/outer_lex.ML	Wed Aug 18 16:02:11 2004 +0200
     1.2 +++ b/src/Pure/Isar/outer_lex.ML	Wed Aug 18 16:03:15 2004 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4    datatype token_kind =
     1.5      Command | Keyword | Ident | LongIdent | SymIdent | Var | TypeIdent | TypeVar |
     1.6      Nat | String | Verbatim | Space | Comment | Sync | Malformed | EOF
     1.7 -  type token
     1.8 +  eqtype token
     1.9    val str_of_kind: token_kind -> string
    1.10    val stopper: token * (token -> bool)
    1.11    val not_sync: token -> bool