src/HOL/Library/Quotient_Option.thy
2010-03-14 wenzelm 2010-03-14 observe standard header format;
2010-02-19 Cezary Kaliszyk 2010-02-19 Initial version of HOL quotient package.