Quot/Quotient_Product.thy
2010-02-11 Cezary Kaliszyk Main renaming + fixes for new Isabelle in IntEx2.
less more (0) tip