Re: [isabelle] Elim resolution

Hello Chris

> 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
> site

Can you give me a link to this? "Introduction to Isabelle" is a very
unfortunate search term for web search ...
Christian Doczkal

Attachment: smime.p7s
Description: S/MIME cryptographic signature

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