changeset 68681 | 14167c321d22 |
parent 68661 | 5820f0f379ae |
child 68683 | d69127c6e80f |
child 68690 | 354c04092cd0 |
--- 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