Attic/Quot/quotient_typ.ML
changeset 2526 8dbe09606c66
parent 1460 0fd03936dedb