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:

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.