NEWS
changeset 38656 d5d342611edb
parent 38642 8fa437809c67
child 38708 8915e3ce8655
     1.1 --- a/NEWS	Mon Aug 23 17:46:13 2010 +0200
     1.2 +++ b/NEWS	Mon Aug 23 19:35:57 2010 +0200
     1.3 @@ -155,6 +155,13 @@
     1.4  
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Probability: Introduced pinfreal as real numbers with infinity. Use pinfreal
     1.8 +as value for measures. Introduces Lebesgue Measure based on the integral in
     1.9 +Multivariate Analysis. Proved Radon Nikodym for arbitrary sigma finite measure
    1.10 +spaces.
    1.11 +
    1.12 + INCOMPATIBILITY.
    1.13 +
    1.14  * Inductive package: offers new command "inductive_simps" to automatically
    1.15  derive instantiated and simplified equations for inductive predicates,
    1.16  similar to inductive_cases.