Attic/Quot/quotient_typ.ML
changeset 2474 6e37bfb62474
parent 1460 0fd03936dedb