Attic/Quot/quotient_typ.ML
changeset 2799 c55aa6cb1518
parent 1460 0fd03936dedb