quotient_info.ML
changeset 312 4cf79f70efec
parent 311 77fc6f3c0343
child 314 3b3c5feb6b73
equal deleted inserted replaced
311:77fc6f3c0343 312:4cf79f70efec