Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Wed, 05 Nov 2025 19:41:13 +0100
changeset 83518 e8f4f3f1d09a
parent 83516 b5dc7f577e02 (diff)
parent 83517 d349fb17f699 (current diff)
child 83519 71525fbbc818
merged
--- a/NEWS	Wed Nov 05 13:20:10 2025 +0100
+++ b/NEWS	Wed Nov 05 19:41:13 2025 +0100
@@ -366,6 +366,9 @@
 * 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
+
 * Removed theory "HOL-Library.Divides" (finally).
isabelle