NEWS

--- a/NEWS	Thu Nov 25 12:19:50 2021 +0100
+++ b/NEWS	Thu Nov 25 14:02:51 2021 +0100
@@ -18,6 +18,9 @@
     multeqp_code_iff ~> multeqp_code_iff_reflcl_mult
   Minor INCOMPATIBILITY.
 
+* Theory "HOL-Library.Multiset": move mult1_lessE out of preorder type
+class and add explicit assumption. Minor INCOMPATIBILITY.
+
 
 New in Isabelle2021-1 (December 2021)
 -------------------------------------