Re: [isabelle] [isabelle-dev] Difference between " induct " and " induct_tac "

Dear Tobias,

On 03/27/2012 05:31 PM, Tobias Nipkow wrote:
A better tutorial will be ready very soon.
Interesting! Will it be an update of "isabelle doc tutorial" or something entirely new? I'd be happy to look through any draft version of such a document.



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