src/Pure/CPure.thy
changeset 26572 9178a7f4c4c8
parent 26435 bdce320cd426