src/HOL/Quotient.thy
2010-02-19 Cezary Kaliszyk 2010-02-19 Initial version of HOL quotient package.