NEWS
changeset 66826 0d60d2118544
parent 66805 274b4edca859
child 66841 5c32a072ca8b
     1.1 --- a/NEWS	Mon Oct 09 22:08:05 2017 +0200
     1.2 +++ b/NEWS	Tue Oct 10 14:03:51 2017 +0100
     1.3 @@ -59,6 +59,7 @@
     1.4  * Predicate pairwise_coprime abolished, use "pairwise coprime" instead.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
     1.8  
     1.9  *** System ***
    1.10