Attic/Quot/quotient_def.ML
changeset 2508 6d9018d62b40
parent 1438 61671de8a545