Attic/Quot/quotient_def.ML
changeset 2833 3503432262dc
parent 1438 61671de8a545