Attic/Quot/Quotient_Product.thy
changeset 1856 c8e406f64db0
parent 1260 9df6144e281b