Attic/Quot/Quotient_Product.thy
changeset 1445 3246c5e1a9d7
parent 1260 9df6144e281b