[isabelle-dev] Towards the release

Lawrence Paulson lp15 at cam.ac.uk
Mon Jan 4 21:49:24 CET 2016

This is certainly a must! Thanks!

> On 4 Jan 2016, at 19:48, Johannes Hölzl <hoelzl at in.tum.de> wrote:
> I'm currently cleaning up the Central Limit Theorem, and I want to it
> entirely to HOL-Probability. 
> I hope to finish this in 1 week, to get it into Isabelle 2016.

More information about the isabelle-dev mailing list