| 2012-10-19 | webertj | 2012-10-19 | Renamed {left,right}_distrib to distrib_{right,left}. | file | diff | annotate |
| 2012-05-31 | huffman | 2012-05-31 | temporarily comment out portion of Quotient_Examples/Quotient_Rat.thy, broken by changes to Int.thy | file | diff | annotate |
| 2012-03-25 | huffman | 2012-03-25 | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
| 2012-03-23 | kuncar | 2012-03-23 | fix Quotient_Examples | file | diff | annotate |
| 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. | file | diff | annotate |