Attic/Quot/quotient_typ.ML
changeset 2758 6ba52f3a1542
parent 1460 0fd03936dedb