Attic/Quot/quotient_typ.ML
changeset 2629 ffb5a181844b
parent 1460 0fd03936dedb