src/HOL/Set.thy
changeset 27695 033732c90ebd
parent 27418 564117b58d73
child 27824 97d2a3797ce0