src/HOL/Quotient_Examples/Quotient_Rat.thy
2012-10-19 webertj 2012-10-19 Renamed {left,right}_distrib to distrib_{right,left}.
2012-05-31 huffman 2012-05-31 temporarily comment out portion of Quotient_Examples/Quotient_Rat.thy, broken by changes to Int.thy
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-03-23 kuncar 2012-03-23 fix Quotient_Examples
2011-12-12 Cezary Kaliszyk 2011-12-12 Add Quotient_Rat: an example of using the quotient package with partial equivalence relations, defining rational numbers.