Re: [isabelle] Proving equivalence


On Tue, 2011-01-25 at 16:51 +0000, Steve W wrote:
> Auto can't find a proof. How come this is so difficult for auto? What
> is the proper way to do this proof?

both "by blast" and "by metis" succeed.  I didn't investigate why auto

Kind regards,

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