Quot/QuotProd.thy
changeset 643 cd4226736c37
parent 597 8a1c8dc72b5c
child 648 830b58c2fa94