NEWS

--- a/NEWS	Sun Feb 19 21:21:19 2023 +0000
+++ b/NEWS	Mon Feb 20 13:59:42 2023 +0100
@@ -43,8 +43,6 @@
 
 *** HOL ***
 
-* Map.map_of and lemmas moved to List.
-
 * Theory "HOL.Euclidean_Division" renamed to "HOL.Euclidean_Rings";
   "euclidean division" typically denotes a particular division on
   integers.  Minor INCOMPATIBILITY.