src/Pure/conv.ML
changeset 27195 bbf4cbc69243
parent 26571 114da911bc41
child 27332 94790a9620c3