Re: [isabelle] trivial Isar proof fails



Note that when you launch Isabelle, a Documentation tab is available, where you can just click on title and it will open for you in a PDF reader. These documents are supplied as part of the Isabelle distribution package.
Larry

On 20 Jun 2014, at 13:25, Gergely Buday <gbuday at gmail.com> wrote:

> Tobias Nipkow wrote:
> 
>> It worked at the time (like 12 years ago) but systems change. Arbitrary
>> documents you find somewhere on the web have the tendency to be outdated.
> 
> What is an up-to-date tutorial for Isar then? What I have found was
> the Proofs chapter of the Isabelle/Isar Reference:
> 
> http://isabelle.in.tum.de/doc/isar-ref.pdf#page=118
> 
> but that is terse and dry for a beginner.
> 
> - Gergely
> 





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