Quot/QuotProd.thy
changeset 961 0f88e04eb486
parent 937 60dd70913b44