# HG changeset patch
# User haftmann
# Date 1744654745 -7200
# Node ID fa641833c0ff242fd0475bda6692eecc091a890f
# Parent  3034e6fd9de44889a2aa820858b2601ad299d5ac
NEWS

diff -r 3034e6fd9de4 -r fa641833c0ff NEWS
--- a/NEWS	Mon Apr 14 20:19:05 2025 +0200
+++ b/NEWS	Mon Apr 14 20:19:05 2025 +0200
@@ -40,6 +40,10 @@
 
 *** HOL ***
 
+* Normalization by evaluation (method "normalization", command value) could
+yield false positives due to incomplete handling of polymorphism in certain
+situations; this is now corrected.
+
 * Theory "HOL-Library.Code_Target_Bit_Shifts" incorporated into HOL-Main.
 Minor INCOMPATIBILITY.