[isabelle-dev] The coming release of Isabelle2017
Lawrence Paulson
lp15 at cam.ac.uk
Sun Jul 9 17:58:05 CEST 2017
What I’m requesting requires no sophistication at all. It is merely to automate what we currently do by copying from one window and pasting to another, while inserting “fix”, “assume” and “show” in the obvious places.
Larry
> On 9 Jul 2017, at 16:32, Lars Hupel <hupel at in.tum.de> wrote:
>
> I currently supervise a student who's investigating proof refactoring. One possible outcome of this would be a tool that also does what you suggested. It's a little too early to tell, though.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170709/fe09428e/attachment-0002.html>
More information about the isabelle-dev
mailing list