Attic/Quot/quotient_typ.ML
changeset 2692 da9bed7baf23
parent 1460 0fd03936dedb