| Wed, 17 Feb 2010 13:54:35 +0100 | Cezary Kaliszyk | Wrapped the permutation code. | file | diff | annotate |
| Wed, 17 Feb 2010 09:26:10 +0100 | Cezary Kaliszyk | Simplifying perm_eq | file | diff | annotate |
| Tue, 16 Feb 2010 15:12:49 +0100 | Cezary Kaliszyk | Minor | file | diff | annotate |