1.1 --- a/NEWS	Fri Apr 06 19:18:00 2012 +0200
     1.2 +++ b/NEWS	Fri Apr 06 19:23:51 2012 +0200
     1.3 @@ -226,7 +226,14 @@
     1.4  INCOMPATIBILITY.  For the common phrases "%xs. List.foldr plus xs 0"
     1.5  and "List.foldl plus 0", prefer "List.listsum".  Otherwise it can
     1.6  be useful to boil down "List.foldr" and "List.foldl" to "List.fold"
     1.7 -by unfolding "foldr_conv_fold" and "foldl_conv_fold".  
     1.8 +by unfolding "foldr_conv_fold" and "foldl_conv_fold".
     1.9 +
    1.10 +* Dropped lemmas minus_set_foldr, union_set_foldr, union_coset_foldr,
    1.11 +inter_coset_foldr, Inf_fin_set_foldr, Sup_fin_set_foldr,
    1.12 +Min_fin_set_foldr, Max_fin_set_foldr, Inf_set_foldr, Sup_set_foldr,
    1.13 +INF_set_foldr, SUP_set_foldr.  INCOMPATIBILITY.  Prefer corresponding
    1.14 +lemmas over fold rather than foldr, or make use of lemmas
    1.15 +fold_conv_foldr and fold_rev.
    1.16  
    1.17  * Congruence rules Option.map_cong and Option.bind_cong for recursion
    1.18  through option types.