Quot/quotient_def.ML
changeset 1203 c093b2e6e9ae
parent 1188 e5413596e098