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