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