[isabelle-dev] metis

Lawrence Paulson lp15 at cam.ac.uk
Tue Sep 16 12:25:37 CEST 2008


The metis method now fails in the usual manner, rather than raising an  
exception,
if it determines that it cannot prove the theorem.
Larry



More information about the isabelle-dev mailing list