CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Mar 29 12:50:30 2022 +0200
+++ b/CONTRIBUTORS	Tue Mar 29 15:44:27 2022 +0200
@@ -9,6 +9,9 @@
 * April - August 2021: Denis Paluca and Fabian Huch, TU München
   Various improvements to Isabelle/VSCode.
 
+* March 2021: Florian Haftmann, TU München
+  More ambitious minimazation of case expressions in generated code.
+
 
 Contributions to Isabelle2021-1
 -------------------------------