Attic/Quot/quotient_typ.ML
changeset 2080 0532006ec7ec
parent 1460 0fd03936dedb