src/HOL/Set.thy
changeset 65578 e4997c181cce
parent 63959 f77dca1abf1b
child 66802 627511c13164