tuned;

--- 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 *)