src/Pure/conv.ML
changeset 29605 f2924219125e
parent 27332 94790a9620c3
child 29606 fedb8be05f24