Attic/Quot/quotient_typ.ML
changeset 2428 58e60df1ff79
parent 1460 0fd03936dedb