src/ZF/Datatype_ZF.thy
changeset 58957 c9e744ea8a38
parent 58871 c399ae4b836f
child 59498 50b60f501b05