src/HOL/Set.thy
changeset 67022 49309fe530fd
parent 66802 627511c13164
child 67051 e7e54a0b9197