src/Pure/CPure.thy
changeset 24850 0cfd722ab579
parent 19048 2b875dd5eb4c
child 26435 bdce320cd426