# HG changeset patch
# User wenzelm
# Date 1165761040 -3600
# Node ID a330e58226d0a89f217093d84e16a57597de7c0c
# Parent  5f3d62008bb5147e623e89944bd8f5e1849f7f39
tuned absdummy;

diff -r 5f3d62008bb5 -r a330e58226d0 src/Pure/term.ML
--- a/src/Pure/term.ML	Sun Dec 10 15:30:39 2006 +0100
+++ b/src/Pure/term.ML	Sun Dec 10 15:30:40 2006 +0100
@@ -896,7 +896,7 @@
 
 (*Form an abstraction over a free variable.*)
 fun absfree (a,T,body) = Abs(a, T, abstract_over (Free(a,T), body));
-fun absdummy (T, body) = Abs ("uu", T, body);
+fun absdummy (T, body) = Abs (Name.internal "x", T, body);
 
 (*Abstraction over a list of free variables*)
 fun list_abs_free ([ ] ,     t) = t