src/HOL/ex/Set_Theory.thy
changeset 76371 1ac2416e8432
parent 67613 ce654b0e6d69
child 80399 413a86331bf6