Attic/Quot/quotient_typ.ML
changeset 2222 973649d612f8
parent 1460 0fd03936dedb