src/HOL/ex/Set_Theory.thy
changeset 63343 fb5d8a50c641
parent 61945 1135b8de26c3
child 63804 70554522bf98