Re: [isabelle] Questions about speed and CPU usage

On 21 July 2010 12:59, Tobias Nipkow <nipkow at> wrote:

> Since you are still learning, you might also be interested in the slides
> of my Isabelle course:
> 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


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