[isabelle-dev] sledgehammer no longer works

Lawrence Paulson lp15 at cam.ac.uk
Tue Mar 18 18:27:25 CET 2008


Attempting to use sledgehammer now generates dozens of "Legacy  
feature!" warnings. Also the output is no longer displayed. Does  
anybody know what is going on?

Larry




More information about the isabelle-dev mailing list