Quot/quotient_def.ML
changeset 803 6f6ee78c7357
parent 801 282fe9cc278e
child 804 ba7e81531c6d