| Wed, 17 Mar 2010 09:25:01 +0100 | Cezary Kaliszyk | Fix for the change of alpha_gen. | file | diff | annotate |
| Wed, 17 Mar 2010 09:18:27 +0100 | Cezary Kaliszyk | merge | file | diff | annotate |
| Wed, 17 Mar 2010 08:39:46 +0100 | Cezary Kaliszyk | Lifting theorems with compound fv and compound alpha. | file | diff | annotate |