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 tweak
authorpaulson <lp15@cam.ac.uk>
Mon, 10 Jul 2023 10:35:38 +0100
changeset 78276 aabbf14723fc
parent 78275 c5ddf5b82b69
child 78277 6726b20289b4
child 78281 46805acae10c
NEWS tweak
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Jul 09 16:38:00 2023 +0100
+++ b/NEWS	Mon Jul 10 10:35:38 2023 +0100
@@ -322,7 +322,7 @@
 
 * Session "HOL-Analysis":
   - Imported the HOL Light abstract metric space library and numerous
-    associated topological developments.
+    results in abstract topology (1200+ lemmas).
   - New material on infinite sums and integration, due to Manuel Eberl
     and Wenda Li.
isabelle