src/HOL/Set.thy
changeset 10618 5b96bc5fbec3
parent 10131 546686f0a6fb
child 10832 e33b47e4246d