src/CCL/set.thy
changeset 3362 0b268cff9344
parent 278 523518f44286