Attic/Quot/quotient_typ.ML
changeset 1584 67936ae78997
parent 1460 0fd03936dedb