| Sun, 06 Dec 2009 13:41:42 +0100 | Christian Urban | added a theorem list for equivalence theorems | file | diff | annotate |
| Fri, 04 Dec 2009 15:18:33 +0100 | Cezary Kaliszyk | More name changes | file | diff | annotate |
| Thu, 03 Dec 2009 13:59:53 +0100 | Christian Urban | first version of internalised quotient theorems; added FIXME-TODO | file | diff | annotate |
| Sat, 28 Nov 2009 18:49:39 +0100 | Christian Urban | selective debugging of the inj_repabs_tac (at the moment for step 3 and 4 debugging information is printed) | file | diff | annotate |