Quot/quotient_def.ML
changeset 1251 11b8798dea5d
parent 1188 e5413596e098