Quot/QuotSum.thy
changeset 710 add8f7f311cd
parent 698 ed44eaaea63e
child 779 3b21b24a5fb6
equal deleted inserted replaced
709:596467882518 710:add8f7f311cd