--- a/NEWS Fri Mar 11 09:23:05 2022 +0100
+++ b/NEWS Fri Mar 11 11:19:38 2022 +0100
@@ -79,6 +79,8 @@
* Meson
- Added support for polymorphic "using" facts. Minor INCOMPATIBILITY.
+* (Co)datatype package:
+ - Lemma map_ident_strong is now generated for all BNFs.
*** System ***