| Fri, 27 Nov 2009 02:55:56 +0100 | Christian Urban | introduced a separate lemma for id_simps | file | diff | annotate |
| Fri, 27 Nov 2009 02:45:54 +0100 | Christian Urban | renamed inj_REPABS to inj_repabs_trm | file | diff | annotate |
| Fri, 27 Nov 2009 02:44:11 +0100 | Christian Urban | tuned comments and moved slightly some code | file | diff | annotate |