| Tue, 09 Feb 2010 15:55:58 +0100 | Cezary Kaliszyk | More indentation cleaning. | file | diff | annotate |
| Wed, 27 Jan 2010 08:41:42 +0100 | Christian Urban | use of equiv_relation_chk in quotient_term | file | diff | annotate |
| Sun, 24 Jan 2010 23:41:27 +0100 | Christian Urban | test with splits | file | diff | annotate |