Wed, 21 Apr 2010 16:24:18 +0200 | Christian Urban | added a variant of the induction principle for permutations | changeset | files |
Wed, 21 Apr 2010 13:39:34 +0200 | Cezary Kaliszyk | merge | changeset | files |
Wed, 21 Apr 2010 13:38:37 +0200 | Cezary Kaliszyk | More about concat | changeset | files |