Quot/QuotSum.thy
changeset 928 44c92eaa4fad
parent 924 5455b19ef138
child 929 e812f58fd128
child 934 0b15b83ded4a