src/HOL/Set.thy
changeset 60243 5901cb4db0ae
parent 60057 86fa63ce8156
child 60161 59ebc3f2f896