diff -r f651323139f0 -r e777363440d6 src/Pure/Isar/token.scala
--- a/src/Pure/Isar/token.scala	Mon Jul 30 14:38:45 2012 +0200
+++ b/src/Pure/Isar/token.scala	Mon Jul 30 15:31:00 2012 +0200
@@ -74,6 +74,7 @@
     kind == Token.Kind.VERBATIM ||
     kind == Token.Kind.COMMENT
   def is_ident: Boolean = kind == Token.Kind.IDENT
+  def is_sym_ident: Boolean = kind == Token.Kind.SYM_IDENT
   def is_string: Boolean = kind == Token.Kind.STRING
   def is_nat: Boolean = kind == Token.Kind.NAT
   def is_float: Boolean = kind == Token.Kind.FLOAT