Quot/quotient_term.ML
changeset 1203 c093b2e6e9ae
parent 1188 e5413596e098
equal deleted inserted replaced
1202:ab942ba2d243 1203:c093b2e6e9ae