Quot/quotient_info.ML
changeset 619 faab2540f13e
parent 614 51a4208162ed
child 636 520a4084d064
equal deleted inserted replaced
618:8dfae5d97387 619:faab2540f13e