1.1 --- a/NEWS	Sun Jul 22 19:57:42 2018 +0200
     1.2 +++ b/NEWS	Sun Jul 22 20:01:03 2018 +0200
     1.3 @@ -417,6 +417,7 @@
     1.4  
     1.5  * Session HOL-Real_Asymp: proof method "real_asymp" proves asymptotics
     1.6  or real-valued functions (limits, "Big-O", etc.) automatically.
     1.7 +See also ~~/src/HOL/Real_Asymp/Manual for some documentation.
     1.8  
     1.9  * Session HOL-Types_To_Sets: more tool support (unoverload_type combines
    1.10  internalize_sorts and unoverload) and larger experimental application