Quot/quotient_def.ML
changeset 1143 84a38acbf512
parent 1142 b102e1444851
child 1144 538daee762e6