# HG changeset patch
# User nipkow
# Date 1676896671 -3600
# Node ID 6470353996f54fa79bc098fa200973ce5fc8c75a
# Parent  0506c327381467df3f5418014937fe763a3550be
Backed out changeset 1fde0e4fd791

diff -r 0506c3273814 -r 6470353996f5 NEWS
--- a/NEWS	Wed Feb 15 17:01:42 2023 +0100
+++ b/NEWS	Mon Feb 20 13:37:51 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.