src/Pure/sorts.ML
changeset 18260 5597cfcecd49
parent 17756 d4a35f82fbb4
child 18428 4059413acbc1