[isabelle] Zorn's Lemma

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