Re: [isabelle] Zorn's Lemma
The title of this article is "Towards the Mechanization of the Proofs of some Classical Theorems of Set Theory".
I couldn't find the text on the web. I was given a hard copy by Mike Gordon about 20 years ago.
It is just possible that some of this material was published in the B-Book.
On 17 Jan 2013, at 07:01, Christian Sternagel <c.sternagel at gmail.com> wrote:
> Dear all,
> where can I get hold of the unpublished article that is mentioned in
> The reason for being interested is that I feel the need to modify the proof of Zorn's lemma in the Library to a version with explicit carrier sets (in the spirit of my wqo AFP entry).
This archive was generated by a fusion of
Pipermail (Mailman edition) and