src/Pure/term.ML
changeset 43683 b5d1873449fb
parent 43329 84472e198515
child 44241 7943b69f0188
     1.1 --- a/src/Pure/term.ML	Wed Jul 06 13:31:12 2011 +0200
     1.2 +++ b/src/Pure/term.ML	Wed Jul 06 20:14:13 2011 +0200
     1.3 @@ -762,7 +762,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 (Name.internal Name.uu, T, body);
     1.8 +fun absdummy (T, body) = Abs (Name.uu_, T, body);
     1.9  
    1.10  (*Abstraction over a list of free variables*)
    1.11  fun list_abs_free ([ ] ,     t) = t