Re: [isabelle] trivial Isar proof fails

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:

but that is terse and dry for a beginner.

- Gergely

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