[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Fri Jan 1 20:29:16 CET 2016


On Fri, 1 Jan 2016, Lawrence Paulson wrote:

> I'm still working on a major theorem. It would be nice to include it if 
> possible.

Do you have a time estimate for that?


 	Makarius




More information about the isabelle-dev mailing list