# HG changeset patch
# User wenzelm
# Date 1747831126 -7200
# Node ID 21c3b55787a60f167f6020d6313629da50df8fc0
# Parent  ccc21bb6004da787963069ebd2d6c5ac30f86d7c
proper NEWS + CONTRIBUTORS;

diff -r ccc21bb6004d -r 21c3b55787a6 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed May 21 14:33:57 2025 +0200
+++ b/CONTRIBUTORS	Wed May 21 14:38:46 2025 +0200
@@ -6,11 +6,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* May 2025: Benoît Ballenghien, Université Paris-Saclay.
+  Simproc "apply_cont" for HOLCF.
+
 * February 2025: Kai Naumann and Balazs Toth, LMU München
   Initial design and implementation of dark mode for Isabelle/jEdit.
 
-* May 2025: Benoit Ballenghien contributed the simproc apply_cont to HOLCF
-
 
 Contributions to Isabelle2025
 -----------------------------
diff -r ccc21bb6004d -r 21c3b55787a6 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