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