[isabelle-dev] metis

[Lawrence Paulson]

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