[isabelle-dev] sledgehammer

Lawrence Paulson lp15 at cam.ac.uk
Sat Aug 31 13:02:38 CEST 2013

It doesn't always work in the panel either. Some lurking bugs maybe. I'm not sure what you are allowed to do while sh is running.

On 31 Aug 2013, at 09:04, Tobias Nipkow <nipkow at in.tum.de> wrote:

> Please disregard my previous email. I see that there is now a sledeghammer panel
> (with some more goodies) which avoids having to type sle... and thus solves the
> issue.
> Thanks for that
> Tobias
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list