Quot/QuotProd.thy
changeset 956 921096706b84
parent 937 60dd70913b44