Re: [isabelle] [Noob] Proof on trees
On Fri, May 27, 2016 at 1:46 AM, Alfio Martini <alfio.martini at acm.org>
> Hi Rustom and Daniel,
> This was my trial using a structured proof. It goes trough using just the
Thanks Alfio and Daniel
After learning about induction instead of induct_tac some other proofs that
I was stuck with are not going through.
But I really dont know what's happening :-)
Can someone point me to references on the differences??
This archive was generated by a fusion of
Pipermail (Mailman edition) and