src/Pure/Pure.thy
changeset 24850 0cfd722ab579
parent 23824 8ad7131dbfcf
child 26426 ddac7ef1e991