| 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 |
| Wed, 25 Nov 2009 03:45:44 +0100 | Christian Urban | fixed the problem with generalising variables; at the moment it is quite a hack | file | diff | annotate |