1.1 --- a/NEWS	Wed May 12 22:33:10 2010 -0700
     1.2 +++ b/NEWS	Thu May 13 14:34:05 2010 +0200
     1.3 @@ -298,8 +298,14 @@
     1.4      generation;
     1.5    - use insert_DiffM2 [symmetric] instead of elem_imp_eq_diff_union,
     1.6      if needed.
     1.7 +Renamed:
     1.8 +  multiset_eq_conv_count_eq -> multiset_ext_iff
     1.9 +  multi_count_ext -> multiset_ext
    1.10 +  diff_union_inverse2 -> diff_union_cancelR
    1.11  INCOMPATIBILITY.
    1.12  
    1.13 +* Theory Permutation: replaced local "remove" by List.remove1.
    1.14 +
    1.15  * Code generation: ML and OCaml code is decorated with signatures.
    1.16  
    1.17  * Theory List: added transpose.