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:
> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and