Quot/quotient_def.ML
changeset 1218 2bbfbc9a81fc
parent 1188 e5413596e098
equal deleted inserted replaced
1217:74e2b9b95add 1218:2bbfbc9a81fc