Re: [isabelle] [Noob] Proof on trees



The best I've found is in the isar-ref document (http://isabelle.in.tum.de/dist/Isabelle2016/doc/isar-ref.pdf) - induction is described on page 147, where induct_tac is on page 289.


--

DH


On 28/05/2016 17:19, Rustom Mody wrote:
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??

Thanks again
Rusi





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