Quot/quotient.ML
changeset 721 19032e71fb1c
parent 719 a9e55e1ef64c