Attic/Quot/quotient_info.ML
changeset 2662 7c5bca978886
parent 1438 61671de8a545