NEWS

--- a/NEWS	Mon May 23 10:13:08 2022 +0200
+++ b/NEWS	Mon May 23 10:23:33 2022 +0200
@@ -58,6 +58,10 @@
     used for what is now called multp_code. Minor INCOMPATIBILITY.
   - Lifted multiple lemmas from mult to multp.
   - Redefined less_multiset to be based on multp. INCOMPATIBILITY.
+  - Added lemmas.
+      filter_mset_cong
+      filter_mset_cong0
+      image_mset_filter_mset_swap
 
 * Sledgehammer:
   - Redesigned multithreading to provide more fine grained prover schedules.