Attic/Quot/quotient_typ.ML
changeset 2003 b53e98bfb298
parent 1460 0fd03936dedb