Quot/QuotProd.thy
changeset 661 a0f50b34765c
parent 648 830b58c2fa94
child 668 ef5b941f00e2