--- a/src/Pure/Isar/token.ML Wed Apr 13 17:00:02 2016 +0200
+++ b/src/Pure/Isar/token.ML Wed Apr 13 18:01:05 2016 +0200
@@ -38,7 +38,6 @@
val kind_of: T -> kind
val is_kind: kind -> T -> bool
val is_command: T -> bool
- val is_name: T -> bool
val keyword_with: (string -> bool) -> T -> bool
val is_command_modifier: T -> bool
val ident_with: (string -> bool) -> T -> bool
@@ -210,8 +209,6 @@
val is_command = is_kind Command;
-val is_name = is_kind Ident orf is_kind Sym_Ident orf is_kind String orf is_kind Nat;
-
fun keyword_with pred (Token (_, (Keyword, x), _)) = pred x
| keyword_with _ _ = false;