--- 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
-------------------------------
--- a/NEWS Tue Mar 29 12:50:30 2022 +0200
+++ b/NEWS Tue Mar 29 15:44:27 2022 +0200
@@ -89,6 +89,8 @@
* (Co)datatype package:
- Lemma map_ident_strong is now generated for all BNFs.
+* More ambitious minimazation of case expressions in generated code.
+
*** System ***