Attic/Quot/quotient_typ.ML
changeset 2100 705dc7532ee3
parent 1460 0fd03936dedb
equal deleted inserted replaced
2099:9454feb74b45 2100:705dc7532ee3