src/Pure/sorts.ML
changeset 36204 16c371c6ff86
parent 36105 42c37cf849cd
child 36328 4d9deabf6474
equal deleted inserted replaced
36203:398dd97e49a5 36204:16c371c6ff86