quotient_info.ML
changeset 594 6346745532f4
parent 582 a082e2d138ab