Quot/quotient_typ.ML
changeset 1104 84d666f9face
parent 1101 5eb84b817855
child 1110 1e5dee9e6ae2
equal deleted inserted replaced
1103:7e691b3c2414 1104:84d666f9face