[isabelle-dev] The coming release of Isabelle2017

[Lawrence Paulson]

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

> 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>