diff -r 2a049b402e53 -r 40e16228405e NEWS
--- a/NEWS	Thu Aug 11 05:50:48 2022 +0200
+++ b/NEWS	Thu Aug 11 10:11:21 2022 +0200
@@ -41,6 +41,8 @@
 integers, sacrificing pattern patching in exchange for dramatically
 increased performance for comparisions.
 
+* New theory HOL-Library.NList of fixed length lists
+
 * Rule split_of_bool_asm is not split any longer, analogously to
 split_if_asm.  INCOMPATIBILITY.