src/HOL/Library/Zorn.thy
changeset 28615 4c8fa015ec7f
parent 27476 964766deef47
child 28952 15a4b2cf8c34