[isabelle] Zorn's Lemma



Dear all,

where can I get hold of the unpublished article that is mentioned in

  http://isabelle.in.tum.de/dist/library/HOL/HOL-Library/Zorn.html

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).

cheers

chris





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