src/Pure/name.ML

--- a/src/Pure/name.ML	Thu Oct 04 20:29:24 2007 +0200
+++ b/src/Pure/name.ML	Thu Oct 04 20:29:33 2007 +0200
@@ -7,6 +7,8 @@
 
 signature NAME =
 sig
+  val uu: string
+  val aT: string
   val bound: int -> string
   val is_bound: string -> bool
   val internal: string -> string
@@ -31,6 +33,12 @@
 structure Name: NAME =
 struct
 
+(** common defaults **)
+
+val uu = "uu";
+val aT = "'a";
+
+
 
 (** special variable names **)