Quot/QuotProd.thy
changeset 728 0015159fee96
parent 699 aa157e957655
child 829 42b90994ac77
equal deleted inserted replaced
727:2cfe6f3d6352 728:0015159fee96