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;
authorwenzelm
Sun, 22 Jul 2018 20:01:03 +0200
changeset 68681 14167c321d22
parent 68680 0a0e68369586
child 68682 89e05bd572c6
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Jul 22 19:57:42 2018 +0200
+++ b/NEWS	Sun Jul 22 20:01:03 2018 +0200
@@ -417,6 +417,7 @@
 
 * Session HOL-Real_Asymp: proof method "real_asymp" proves asymptotics
 or real-valued functions (limits, "Big-O", etc.) automatically.
+See also ~~/src/HOL/Real_Asymp/Manual for some documentation.
 
 * Session HOL-Types_To_Sets: more tool support (unoverload_type combines
 internalize_sorts and unoverload) and larger experimental application
isabelle