src/CCL/set.thy
changeset 9028 8a1ec8f05f14
parent 278 523518f44286