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.
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:
> but that is terse and dry for a beginner.
> - Gergely
This archive was generated by a fusion of
Pipermail (Mailman edition) and