| changeset 73297 | beaff25452d2 |
| parent 73287 | 04c9a2cd7686 |
| child 73298 | 637e3e85cd6f |
--- a/NEWS Tue Feb 23 20:41:48 2021 +0000 +++ b/NEWS Tue Feb 23 20:41:48 2021 +0000 @@ -18,6 +18,9 @@ more small lemmas. Some theorems that were stated awkwardly before were corrected. Minor INCOMPATIBILITY. +* Theory "Permutation" in HOL-Library has been renamed to the more +specific "List_Permutation". + *** ML ***