| 2010-02-09 | Cezary Kaliszyk | More indentation cleaning. | file | diff | annotate |
| 2010-01-27 | Christian Urban | use of equiv_relation_chk in quotient_term | file | diff | annotate |
| 2010-01-24 | Christian Urban | test with splits | file | diff | annotate |
| 2010-01-14 | Christian Urban | tuned quotient_typ.ML | file | diff | annotate |
| 2010-01-13 | Christian Urban | one more item in the list of Markus | file | diff | annotate |
| 2010-01-12 | Cezary Kaliszyk | More indenting, bracket removing and comment restructuring. | file | diff | annotate |
| 2010-01-11 | Christian Urban | started to adhere to Wenzel-Standard | file | diff | annotate |