[isabelle-dev] Sledgehammer

Clemens Ballarin ballarin at in.tum.de
Fri Jun 24 20:13:58 CEST 2011

While doing an 'isabelle makeall all' on my local machine, I  
encountered the error

   *** Unexpected outcome: "unknown".
   *** At command "sledgehammer" (line 26 of  

I guess I lack some sort of heavy equipment here.  What surprises me  
is that on macbroy2 I don't have set up sledgehammer either, but I  
don't get this error.


More information about the isabelle-dev mailing list