tuned;
authorwenzelm
Thu Dec 28 14:30:41 2006 +0100 (2006-12-28)
changeset 21921f241e9cd26ca
parent 21920 f1c096441023
child 21922 76e1fce071aa
tuned;
src/Pure/Isar/outer_lex.ML
     1.1 --- a/src/Pure/Isar/outer_lex.ML	Thu Dec 28 14:30:40 2006 +0100
     1.2 +++ b/src/Pure/Isar/outer_lex.ML	Thu Dec 28 14:30:41 2006 +0100
     1.3 @@ -62,6 +62,8 @@
     1.4  
     1.5  datatype token = Token of Position.T * (token_kind * string);
     1.6  
     1.7 +val eq_token = op = : token * token -> bool;
     1.8 +
     1.9  val str_of_kind =
    1.10   fn Command => "command"
    1.11    | Keyword => "keyword"
    1.12 @@ -81,7 +83,6 @@
    1.13    | Malformed => "bad input"
    1.14    | EOF => "end-of-file";
    1.15  
    1.16 -val eq_token = op = : token * token -> bool;
    1.17  
    1.18  (* control tokens *)
    1.19