[isabelle-dev] sledgehammer

Tobias Nipkow nipkow at in.tum.de
Sat Aug 31 10:04:31 CEST 2013


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


More information about the isabelle-dev mailing list