# HG changeset patch
# User wenzelm
# Date 1176411985 -7200
# Node ID 5ab11152daebc1d32d1cff92c2d18ecb55213008
# Parent  0c5b22076fb3707e49150223d6a9d73acc9164cc
absdummy: use internal name uu to avoid renaming of popular names;

diff -r 0c5b22076fb3 -r 5ab11152daeb src/Pure/term.ML
--- a/src/Pure/term.ML	Thu Apr 12 15:46:12 2007 +0200
+++ b/src/Pure/term.ML	Thu Apr 12 23:06:25 2007 +0200
@@ -929,7 +929,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 (Name.internal "x", T, body);
+fun absdummy (T, body) = Abs (Name.internal "uu", T, body);
 
 (*Abstraction over a list of free variables*)
 fun list_abs_free ([ ] ,     t) = t