Quot/QuotProd.thy
changeset 963 caed1462c951
parent 937 60dd70913b44