src/ZF/ZF.thy
changeset 78659 b5f3d1051b13
parent 76215 a642599ffdea
child 80917 2a77bc3b4eac