Quot/QuotSum.thy
changeset 754 b85875d65b10
parent 698 ed44eaaea63e
child 779 3b21b24a5fb6