Re: [isabelle] metis behaviour



Obviously HOL has different code for translating into clause form.
Larry

On 7 Apr 2008, at 11:35, Tom Ridge wrote:
If I type it into HOL, metis solves it immediately!






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