[isabelle-dev] NEWS

[Lawrence Paulson]

* New theory SupInf of the supremum and infimum operators for sets of  
reals.

* New theory Probability, which contains a development of measure  
theory, eventually leading to Lebesgue integration and probability.

Larry