Quot/quotient_typ.ML
changeset 1065 3664eafcad09
parent 952 9c3b3eaecaff
child 1101 5eb84b817855
equal deleted inserted replaced
1064:0391abfc6246 1065:3664eafcad09