src/Pure/term.ML
changeset 21742 a330e58226d0
parent 21682 53c9a026fcb7
child 21797 25b97f5057f2
     1.1 --- a/src/Pure/term.ML	Sun Dec 10 15:30:39 2006 +0100
     1.2 +++ b/src/Pure/term.ML	Sun Dec 10 15:30:40 2006 +0100
     1.3 @@ -896,7 +896,7 @@
     1.4  
     1.5  (*Form an abstraction over a free variable.*)
     1.6  fun absfree (a,T,body) = Abs(a, T, abstract_over (Free(a,T), body));
     1.7 -fun absdummy (T, body) = Abs ("uu", T, body);
     1.8 +fun absdummy (T, body) = Abs (Name.internal "x", T, body);
     1.9  
    1.10  (*Abstraction over a list of free variables*)
    1.11  fun list_abs_free ([ ] ,     t) = t