Quot/quotient_def.ML
changeset 1197 2f4ce88c2c96
parent 1188 e5413596e098