Re: [isabelle] [Noob] Proof on trees



On Fri, May 27, 2016 at 1:46 AM, Alfio Martini <alfio.martini at acm.org>
wrote:

> Hi Rustom and Daniel,
>
> This was my trial using a structured proof. It goes trough using just the
> simplifier.
>
>
Thanks Alfio, Daniel for your suggestions



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