Attic/Quot/quotient_def.ML
changeset 2133 16834a4ca1bb
parent 1438 61671de8a545