# HG changeset patch
# User nipkow
# Date 1747070434 -7200
# Node ID 9332e3487b8aa4080f0f7b942bc77f98c685f2e2
# Parent  b444e7150e1fbf0bf6861af668641fdfe32aadcb
contributor

diff -r b444e7150e1f -r 9332e3487b8a CONTRIBUTORS
--- a/CONTRIBUTORS	Mon May 12 19:19:41 2025 +0200
+++ b/CONTRIBUTORS	Mon May 12 19:20:34 2025 +0200
@@ -6,6 +6,8 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* May 2025: Benoit Ballenghien contributed the simproc apply_cont to HOLCF
+
 
 Contributions to Isabelle2025
 -----------------------------