| changeset 75803 | 40e16228405e |
| parent 75665 | 707748d3d186 |
| child 75806 | 2b106aae897c |
--- 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.