src/ZF/Inductive_ZF.thy
changeset 47965 8ba6438557bc
parent 46950 d0181abdbdac
child 48891 c0eafbd55de3