| Tue, 09 Feb 2010 15:28:15 +0100 | Cezary Kaliszyk | More indentation, names and todo cleaning in the quotient package | file | diff | annotate |
| Thu, 04 Feb 2010 17:58:23 +0100 | Cezary Kaliszyk | Quotdata_dest needed for lifting theorem translation. | file | diff | annotate |
| Wed, 27 Jan 2010 08:41:42 +0100 | Christian Urban | use of equiv_relation_chk in quotient_term | file | diff | annotate |
| Thu, 14 Jan 2010 23:51:17 +0100 | Christian Urban | trivial | file | diff | annotate |