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.

> On 9 Jul 2017, at 16:32, Lars Hupel <hu...@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.

isabelle-dev mailing list

Reply via email to