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.
tuned NEWS;
authorwenzelm
Thu, 20 Feb 2025 21:58:23 +0100
changeset 82222 2a2bb5c1ec54
parent 82221 70e94b064ee0
child 82223 706562be40fc
tuned NEWS;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Feb 19 20:34:32 2025 +0100
+++ b/NEWS	Thu Feb 20 21:58:23 2025 +0100
@@ -323,7 +323,7 @@
       wfp_on_antimono_stronger
 
 * Theory "HOL.Transcendental": the real-valued versions of ln, log,
-(powr) have been totalised by "ln 0 = x" and "ln (- x) = ln x". Many
+(powr) have been totalised by "ln 0 = 0" and "ln (- x) = ln x". Many
 related theorems are now unconditional, with ln_mult_pos and
 ln_divide_pos introduced for legacy purposes.
isabelle