Attic/Quot/quotient_typ.ML
changeset 2138 2e514a0aca63
parent 1460 0fd03936dedb