changeset 77305 | 6470353996f5 |
parent 77269 | bc43f86c9598 |
child 77309 | cc292dafc527 |
--- a/NEWS Wed Feb 15 17:01:42 2023 +0100 +++ b/NEWS Mon Feb 20 13:37:51 2023 +0100 @@ -43,8 +43,6 @@ *** HOL *** -* Map.map_of and lemmas moved to List. - * Theory "HOL.Euclidean_Division" renamed to "HOL.Euclidean_Rings"; "euclidean division" typically denotes a particular division on integers. Minor INCOMPATIBILITY.