diff -r c6bae4456741 -r 489c1fbbb028 NEWS
--- a/NEWS	Wed May 12 22:33:10 2010 -0700
+++ b/NEWS	Thu May 13 14:34:05 2010 +0200
@@ -298,8 +298,14 @@
     generation;
   - use insert_DiffM2 [symmetric] instead of elem_imp_eq_diff_union,
     if needed.
+Renamed:
+  multiset_eq_conv_count_eq -> multiset_ext_iff
+  multi_count_ext -> multiset_ext
+  diff_union_inverse2 -> diff_union_cancelR
 INCOMPATIBILITY.
 
+* Theory Permutation: replaced local "remove" by List.remove1.
+
 * Code generation: ML and OCaml code is decorated with signatures.
 
 * Theory List: added transpose.