Quot/QuotProd.thy
changeset 630 7a6aead83647
parent 597 8a1c8dc72b5c
child 648 830b58c2fa94