Quot/quotient_term.ML
changeset 1058 afedef46d3ab
parent 1000 1893316b9ef8
child 1065 3664eafcad09
equal deleted inserted replaced
1057:f81b506f62a7 1058:afedef46d3ab