--- 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
-----------------------------
--- 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