CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Jun 27 15:54:18 2022 +0200
+++ b/CONTRIBUTORS	Mon Jun 27 17:36:26 2022 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* June 2022: Jan van Brügge, TU München
+  Strict cardinality bounds for BNFs.
+
 * April - August 2021: Denis Paluca and Fabian Huch, TU München
   Various improvements to Isabelle/VSCode.