Attic/Quot/quotient_typ.ML
changeset 2083 9568f9f31822
parent 1460 0fd03936dedb