Quot/QuotProd.thy
changeset 630 7a6aead83647
parent 597 8a1c8dc72b5c
child 648 830b58c2fa94
equal deleted inserted replaced
629:df42285e7286 630:7a6aead83647