src/CCL/type.thy
changeset 10168 50be659d4222
parent 22 41dc6b189412