Attic/Quot/quotient_typ.ML
changeset 2347 9807d30c0e54
parent 1460 0fd03936dedb