src/CCL/set.thy
changeset 12791 ccc0f45ad2c4
parent 278 523518f44286