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.
NEWS
authorpaulson <lp15@cam.ac.uk>
Wed, 05 Nov 2025 12:04:36 +0000
changeset 83516 b5dc7f577e02
parent 83515 b596dead9178
child 83518 e8f4f3f1d09a
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Nov 05 12:57:55 2025 +0100
+++ b/NEWS	Wed Nov 05 12:04:36 2025 +0000
@@ -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