changeset 62975 | 1d066f6ab25d |
parent 62969 | 9f394a16c557 |
child 62976 | 38906f0e4633 |
--- a/NEWS Thu Apr 14 12:17:44 2016 +0200 +++ b/NEWS Thu Apr 14 15:48:11 2016 +0200 @@ -251,6 +251,10 @@ * Session HOL-NSA has been renamed to HOL-Nonstandard_Analysis. +* In HOL-Probability the type of emeasure and nn_integral was changed +from ereal to ennreal: + emeasure :: 'a measure => 'a set => ennreal + nn_integral :: 'a measure => ('a => ennreal) => ennreal *** ML ***