Wed, 21 Apr 2010 12:38:20 +0200 | Christian Urban | merged | changeset | files |
Wed, 21 Apr 2010 12:37:44 +0200 | Christian Urban | incomplete tests | changeset | files |
Wed, 21 Apr 2010 12:37:19 +0200 | Christian Urban | added an improved version of the induction principle for permutations | changeset | files |