| changeset 33271 | 7be66dee1a5a |
| parent 33270 | 320a1d67b9ae |
| child 33273 | 9290fbf0a30e |
--- a/NEWS Tue Oct 27 14:46:03 2009 +0000 +++ b/NEWS Wed Oct 28 11:42:31 2009 +0000 @@ -67,6 +67,8 @@ * New theory SupInf of the supremum and infimum operators for sets of reals. +* New theory Probability containing a development of measure theory, eventually leading to Lebesgue integration and probability. + * Split off prime number ingredients from theory GCD to theory Number_Theory/Primes;