[isabelle-dev] The coming release of Isabelle2017

Lawrence Paulson lp15 at cam.ac.uk
Sun Jul 16 22:42:31 CEST 2017

I’ve been using it a bit and it’s pretty useful! Thanks

> On 9 Jul 2017, at 17:16, Fabian Immler <immler at in.tum.de> wrote:
> A while ago, Florian Haftmann sent a command that does something like this to the mailing list [1]. I attach a version that works with current Isabelle2016-1 (not sure if I got all the modifications right, but it seems to work at least on the example in the .thy file).

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

More information about the isabelle-dev mailing list