Quot/quotient_typ.ML
changeset 1144 538daee762e6
parent 1128 17ca92ab4660
child 1152 fbaebf08c1bd
equal deleted inserted replaced
1143:84a38acbf512 1144:538daee762e6