Attic/Quot/quotient_typ.ML
changeset 2656 33a6b690fb53
parent 1460 0fd03936dedb