src/Pure/sorts.ML
changeset 36204 16c371c6ff86
parent 36105 42c37cf849cd
child 36328 4d9deabf6474