Quot/quotient_typ.ML
changeset 1170 a7b4160ef463
parent 1166 e860d8767d09
equal deleted inserted replaced
1169:b9d02e0800e9 1170:a7b4160ef463