Re: [isabelle] metis behaviour



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

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.