src/Pure/sorts.ML
changeset 27195 bbf4cbc69243
parent 26994 197af793312c
child 27498 80d0de398339