--- a/NEWS Tue Apr 07 15:14:14 2015 +0200
+++ b/NEWS Tue Apr 07 18:21:56 2015 +0200
@@ -302,6 +302,7 @@
- Renamed
in_multiset_of ~> in_multiset_in_set
INCOMPATIBILITY.
+ - Removed mcard, is equal to size.
- Added attributes:
image_mset.id [simp]
image_mset_id [simp]