Re: [isabelle] Elim resolution
Historical Isabelle documentation is available, along with other old
papers, at this webpage:
Various other Isabelle related papers of mine can be downloaded from
There are indeed a lot of insights to be gained from these old papers,
but please bear in mind that they refer to earlier versions of
Isabelle and many of the examples in them may no longer work.
On 12 Jan 2009, at 13:22, Christian Doczkal wrote:
I'm reading "Introduction to Isabelle", which has a very nice few
chapters on the low-level user-visible parts of Isabelle. I'm
surprised it's not linked from the Documentation page on the main
Can you give me a link to this? "Introduction to Isabelle" is a very
unfortunate search term for web search ...
This archive was generated by a fusion of
Pipermail (Mailman edition) and