Quot/Quotient_Product.thy
changeset 1217 74e2b9b95add
parent 1129 9a86f0ef6503