NEWS
changeset 57252 19b7ace1c5da
parent 57251 f51985ebd152
child 57253 6515cf25de13
     1.1 --- a/NEWS	Fri Jun 13 07:05:01 2014 +0200
     1.2 +++ b/NEWS	Fri Jun 13 14:08:20 2014 +0200
     1.3 @@ -757,6 +757,9 @@
     1.4  
     1.5      * Renamed abbreviation integral\<^sup>P to integral\<^sup>N.
     1.6  
     1.7 +  - Formalized properties about exponentially, Erlang, and normal distributed
     1.8 +    random variables.
     1.9 +
    1.10  * Library/Kleene-Algebra was removed because AFP/Kleene_Algebra subsumes it.
    1.11  
    1.12  *** Scala ***