| 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 |