src/Pure/Isar/token.ML

   | Space => "white space"
   | Comment => "comment text"
   | InternalValue => "internal value"
   | Error _ => "bad input"
   | Sync => "sync marker"
-  | EOF => "end-of-file";
+  | EOF => "end-of-input";
 
 
 (* position *)
 
 fun position_of (Token ((_, (pos, _)), _, _)) = pos;