[isabelle-dev] metis

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

Previous message (by thread): [isabelle-dev] [Fwd: Re: Find]
Next message (by thread): [isabelle-dev] [isabelle] Incompatibilities between releases
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] [Fwd: Re: Find]
Next message (by thread): [isabelle-dev] [isabelle] Incompatibilities between releases
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list