--- a/NEWS Wed Oct 28 11:43:06 2009 +0000
+++ b/NEWS Wed Oct 28 12:21:38 2009 +0000
@@ -67,7 +67,7 @@
* 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.
+* New theory Probability, which contains 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;