src/ZF/Constructible/Datatype_absolute.thy
changeset 13513 b9e14471629c
parent 13505 52a16cb7fefb
child 13557 6061d0045409