# HG changeset patch
# User wenzelm
# Date 1191522573 -7200
# Node ID 193a10e6bf903cc71c4c932f86e284d3218c2678
# Parent  5dbbd33c32366e3a26d9a3d81f80eeb953a0cb0f
added uu, aT;

diff -r 5dbbd33c3236 -r 193a10e6bf90 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 **)