src/HOL/ZF/MainZF.thy
changeset 58410 6d46ad54a2ab
parent 46753 40e2ada74ce8