NEWS

--- a/NEWS	Wed Nov 17 16:13:00 2021 +0100
+++ b/NEWS	Thu Nov 25 11:33:38 2021 +0100
@@ -7,6 +7,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** HOL ***
+
+* Theory "HOL-Library.Multiset": consolidated operation and fact namesd
+    multp ~> multp_code
+    multeqp ~> multeqp_code
+  Minor INCOMPATIBILITY.
 
 
 New in Isabelle2021-1 (December 2021)