--- a/CONTRIBUTORS Fri Apr 01 11:21:58 2022 +0200
+++ b/CONTRIBUTORS Fri Apr 01 11:27:04 2022 +0200
@@ -10,7 +10,7 @@
Various improvements to Isabelle/VSCode.
* March 2021: Florian Haftmann, TU München
- More ambitious minimazation of case expressions in generated code.
+ More ambitious minimization of case expressions in generated code.
Contributions to Isabelle2021-1
--- a/NEWS Fri Apr 01 11:21:58 2022 +0200
+++ b/NEWS Fri Apr 01 11:27:04 2022 +0200
@@ -95,7 +95,7 @@
* (Co)datatype package:
- Lemma map_ident_strong is now generated for all BNFs.
-* More ambitious minimazation of case expressions in generated code.
+* More ambitious minimization of case expressions in generated code.
*** System ***