Quot/QuotProd.thy
changeset 674 bb276771d85c
parent 668 ef5b941f00e2
child 699 aa157e957655