src/HOL/Quotient.thy
2010-03-17 blanchet 2010-03-17 renamed "ATP_Linkup" theory to "Sledgehammer"
2010-02-22 huffman 2010-02-22 proper header and subsection headings
2010-02-19 Cezary Kaliszyk 2010-02-19 quote the constant and theorem name with @{text}
2010-02-19 Cezary Kaliszyk 2010-02-19 Initial version of HOL quotient package.