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