src/ZF/Pair.thy
changeset 4102 f746af27164b
parent 124 858ab9a9b047