| 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 |
| Fri, 27 Nov 2009 02:23:49 +0100 | Christian Urban | renamed REGULARIZE to be regularize | file | diff | annotate |
| Thu, 26 Nov 2009 21:16:59 +0100 | Christian Urban | more tuning | file | diff | annotate |
| Thu, 26 Nov 2009 21:04:17 +0100 | Christian Urban | deleted get_fun_old and stuff | file | diff | annotate |