Re: [isabelle] metis behaviour

During the conversion to clause form, the first assumption is ignored because it would yield 64 clauses.

On 4 Apr 2008, at 17:00, Tom Ridge wrote:
It works fine. But if I change blast to metis, the proof fails. Why?

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.