src/ZF/ZF_Base.thy
changeset 82898 89da4dcd1fa8
parent 81182 fc5066122e68