[isabelle-dev] NEWS

Lawrence Paulson lp15 at cam.ac.uk
Wed Oct 28 13:27:07 CET 2009

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

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


More information about the isabelle-dev mailing list