| changeset 19473 | d87a8838afa4 |
| parent 19419 | 2d26166aca27 |
| child 19482 | 9f11af8f7ef9 |
--- a/src/Pure/Proof/reconstruct.ML Wed Apr 26 20:34:11 2006 +0200 +++ b/src/Pure/Proof/reconstruct.ML Wed Apr 26 22:38:05 2006 +0200 @@ -57,7 +57,7 @@ (Envir.Envir {iTs = iTs, asol = asol, maxidx = maxidx+1}, TVar (("'t", maxidx+1), s)); -fun mk_abs Ts t = Library.foldl (fn (u, T) => Abs ("", T, u)) (t, Ts); +val mk_abs = fold (fn T => fn u => Abs ("", T, u)); fun unifyT sg env T U = let