--- a/src/Pure/Syntax/lexicon.ML Wed Jul 19 12:12:07 2006 +0200
+++ b/src/Pure/Syntax/lexicon.ML Wed Jul 19 12:12:08 2006 +0200
@@ -9,6 +9,7 @@
sig
val is_identifier: string -> bool
val is_ascii_identifier: string -> bool
+ val is_tid: string -> bool
val implode_xstr: string list -> string
val explode_xstr: string -> string list
val scan_id: string list -> string * string list
@@ -39,7 +40,6 @@
sig
include LEXICON0
val is_xid: string -> bool
- val is_tid: string -> bool
datatype token =
Token of string |
IdentSy of string |