[isabelle-dev] Complete Distributive Lattice

Lawrence Paulson lp15 at cam.ac.uk
Mon Aug 28 16:26:18 CEST 2017

For sure. The work is very welcome, but too drastic to undertake at this precise moment.

> On 28 Aug 2017, at 13:08, Makarius <makarius at sketis.net> wrote:
> Nothing of this is relevant for the Isabelle2017 release. When the "RC"
> versions show up, it is time to finish and not to start new things.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170828/1b4732c9/attachment-0002.html>

More information about the isabelle-dev mailing list