src/ZF/Inductive_ZF.thy
changeset 61752 814bbe5d9204
parent 60770 240563fbf41d
child 63435 7743df69a6b4