Quot/QuotProd.thy
changeset 774 b4ffb8826105
parent 699 aa157e957655
child 829 42b90994ac77
equal deleted inserted replaced
773:d6acae26d027 774:b4ffb8826105