src/HOL/Tools/Quotient/quotient_tacs.ML
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-02-19 Cezary Kaliszyk 2010-02-19 Initial version of HOL quotient package.