NEWS

--- a/NEWS	Sun Feb 21 13:33:05 2021 +0100
+++ b/NEWS	Mon Feb 22 07:49:48 2021 +0000
@@ -3,6 +3,10 @@
 
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
+*** HOL ***
+
+* Theory Multiset: dedicated predicate "multiset" is gone, use
+explict expression instead.  Minor INCOMPATIBILITY.
 
 New in this Isabelle version
 ----------------------------