Attic/Quot/quotient_typ.ML
changeset 2397 c670a849af65
parent 1460 0fd03936dedb