1.1 --- a/NEWS	Tue Mar 29 14:27:42 2011 +0200
     1.2 +++ b/NEWS	Tue Mar 29 14:27:44 2011 +0200
     1.3 @@ -56,6 +56,11 @@
     1.4  * Function package: discontinued option "tailrec".
     1.5  INCOMPATIBILITY. Use partial_function instead.
     1.6  
     1.7 +* HOL-Probability:
     1.8 +  - Caratheodory's extension lemma is now proved for ring_of_sets.
     1.9 +  - Infinite products of probability measures are now available.
    1.10 +  - Use extended reals instead of positive extended reals.
    1.11 +    INCOMPATIBILITY.
    1.12  
    1.13  *** Document preparation ***
    1.14