1.1 --- a/NEWS	Fri Jul 15 15:45:04 2005 +0200
     1.2 +++ b/NEWS	Mon Jul 18 14:10:11 2005 +0200
     1.3 @@ -402,7 +402,7 @@
     1.4    (x, y) |-> f		f #-> g
     1.5  
     1.6  * Pure/library.ML: canonical list combinators fold, fold_rev, and
     1.7 -fold_yield support linear functional transformations and nesting.  For
     1.8 +fold_map support linear functional transformations and nesting.  For
     1.9  example:
    1.10  
    1.11    fold f [x1, ..., xN] y =