Quot/quotient_info.ML
changeset 816 5edb6facc833
parent 805 d193e2111811
child 835 c4fa87dd0208
equal deleted inserted replaced
815:e5109811c4d4 816:5edb6facc833