| Tue, 23 Mar 2010 07:43:20 +0100 | Christian Urban | merged | file | diff | annotate |
| Tue, 23 Mar 2010 07:39:10 +0100 | Christian Urban | more on the paper | file | diff | annotate |
| Mon, 22 Mar 2010 18:56:35 +0100 | Cezary Kaliszyk | sym proof with compose. | file | diff | annotate |
| Mon, 22 Mar 2010 18:38:59 +0100 | Cezary Kaliszyk | Marked the place where a compose lemma applies. | file | diff | annotate |
| Mon, 22 Mar 2010 17:21:27 +0100 | Cezary Kaliszyk | Got rid of alpha_bn_rsp_cheat. | file | diff | annotate |
| Mon, 22 Mar 2010 15:27:01 +0100 | Cezary Kaliszyk | alpha_bn_rsp_pre automatized. | file | diff | annotate |
| Wed, 17 Mar 2010 18:52:59 +0100 | Cezary Kaliszyk | compose_sym2 works also for term5 | file | diff | annotate |