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