Attic/Quot/quotient_typ.ML
changeset 2372 06574b438b8f
parent 1460 0fd03936dedb