Quot/QuotProd.thy
changeset 613 018aabbffd08
parent 597 8a1c8dc72b5c
child 648 830b58c2fa94