export is_tid;
authorwenzelm
Wed, 19 Jul 2006 12:12:08 +0200
changeset 20165 4de20306a88a
parent 20164 928c8dc07216
child 20166 ae2bc00408d6
export is_tid;
src/Pure/Syntax/lexicon.ML
--- 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 |