quotient_info.ML
changeset 499 f122816d7729
parent 497 b663bc007d00
child 505 6cdba30c6d66