Attic/Quot/quotient_typ.ML
changeset 2441 fc3e8f79e698
parent 1460 0fd03936dedb