| changeset 83519 | 71525fbbc818 |
| parent 83516 | b5dc7f577e02 |
| child 83520 | 6f656fc94319 |
--- a/NEWS Wed Nov 05 19:41:13 2025 +0100 +++ b/NEWS Wed Nov 05 19:42:22 2025 +0100 @@ -366,8 +366,8 @@ * More efficient default implementation for HOL-Library.Discrete_Functions.floor_sqrt. -* Session "HOL-Analysis": much new material including the "slotted complex plane" -and change-of-variables theorems +* Session "HOL-Analysis": much new material including the "slotted +complex plane" and change-of-variables theorems. * Removed theory "HOL-Library.Divides" (finally).