summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

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.