NEWS

--- a/NEWS	Wed May 21 14:33:57 2025 +0200
+++ b/NEWS	Wed May 21 14:38:46 2025 +0200
@@ -230,6 +230,12 @@
 * Removed theory "HOL-Library.Divides" (finally).
 
 
+*** HOLCF ***
+
+* Theory "HOLCF.Cpo": simproc "apply_cont" solves "cont (\<lambda>f. f x y z)"
+etc.
+
+
 *** System ***
 
 * The Z Garbage Collector (ZGC) of Java 21 is now used by default (see