changeset 19473 | d87a8838afa4 |
parent 19311 | e3d48fa3908e |
child 19482 | 9f11af8f7ef9 |
--- a/src/Pure/Syntax/syn_trans.ML Wed Apr 26 20:34:11 2006 +0200 +++ b/src/Pure/Syntax/syn_trans.ML Wed Apr 26 22:38:05 2006 +0200 @@ -276,7 +276,7 @@ fun abs_tr' tm = - Library.foldr (fn (x, t) => Lexicon.const "_abs" $ x $ t) + uncurry (fold_rev (fn x => fn t => Lexicon.const "_abs" $ x $ t)) (strip_abss strip_abs_vars strip_abs_body (eta_contr tm)); fun atomic_abs_tr' (x, T, t) =