src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Thu Jul 07 21:10:12 2016 +0200
+++ b/src/Pure/Isar/token.scala	Thu Jul 07 21:34:56 2016 +0200
@@ -225,8 +225,6 @@
 sealed case class Token(kind: Token.Kind.Value, source: String)
 {
   def is_command: Boolean = kind == Token.Kind.COMMAND
-  def is_command_kind(keywords: Keyword.Keywords, pred: String => Boolean): Boolean =
-    is_command && keywords.is_command_kind(source, pred)
   def is_keyword: Boolean = kind == Token.Kind.KEYWORD
   def is_delimiter: Boolean = is_keyword && !Symbol.is_ascii_identifier(source)
   def is_ident: Boolean = kind == Token.Kind.IDENT