Quot/QuotSum.thy
changeset 999 64874975f087
parent 937 60dd70913b44
child 1122 d1eaed018e5d
equal deleted inserted replaced
998:cfd2a42d60e3 999:64874975f087