src/ZF/ex/Enum.thy
changeset 532 851df239ac8b
parent 515 abcc438e7c27
child 810 91c68f74f458