src/CCL/Set.thy
changeset 27221 31328dc30196
parent 24825 c4f13ab78f9d
child 32153 a0e57fb1b930