src/HOL/Library/Zorn.thy
changeset 35115 446c5063e4fd
parent 32960 69916a850301
child 35175 61255c81da01