Re: [isabelle] Questions about speed and CPU usage



On 21 July 2010 12:59, Tobias Nipkow <nipkow at in.tum.de> wrote:

> Since you are still learning, you might also be interested in the slides
> of my Isabelle course:
> http://isabelle.in.tum.de/coursematerial/PSV2009-1/index.html
> It starts off with "apply" but later it introduces structured proofs
> through proof patterns that may help.
>

Yes I am. I will go into it right now :) It's clearly self-explaining.


>  Tobias
>

Thanks,
  Tambet




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