quotient_def.ML
changeset 596 6088fea1c8b1
parent 573 14682786c356
equal deleted inserted replaced
595:a2f2214dc881 596:6088fea1c8b1