[isabelle-dev] The coming release of Isabelle2017
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 . 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...
More information about the isabelle-dev