[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

Thanks for that

More information about the isabelle-dev mailing list