src/Pure/term.ML
changeset 19473 d87a8838afa4
parent 19455 d828bfab05af
child 19647 043921b0e587
     1.1 --- a/src/Pure/term.ML	Wed Apr 26 20:34:11 2006 +0200
     1.2 +++ b/src/Pure/term.ML	Wed Apr 26 22:38:05 2006 +0200
     1.3 @@ -390,7 +390,7 @@
     1.4    in arg 0 [] tm end;
     1.5  
     1.6  
     1.7 -val list_abs = Library.foldr (fn ((x, T), t) => Abs (x, T, t));
     1.8 +val list_abs = uncurry (fold_rev (fn (x, T) => fn t => Abs (x, T, t)));
     1.9  
    1.10  fun strip_abs (Abs (a, T, t)) =
    1.11        let val (a', t') = strip_abs t