Re: [isabelle] Using Isar on Induction



On Sun, 29 Apr 2012 18:39:53 +0200, Tobias Nipkow wrote:

> In general, if you want to show more steps of an equational proof, you
> can do so via the "also/finally" elements:

Thank you!  Having seen the also/finally elements, I was not sure how to 
use them, and I guess I did not get the "..." part last time I tried them.

-- 
Aaron W. Hsu | arcfide at sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.






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