Fri, 07 Oct 2016 11:24:58 +0200 | wenzelm | clarified modules; | changeset | files |
Fri, 07 Oct 2016 11:10:17 +0200 | wenzelm | tuned; | changeset | files |
Fri, 07 Oct 2016 10:46:34 +0200 | wenzelm | more official legacy status; | changeset | files |
Fri, 07 Oct 2016 17:59:19 +0200 | fleury | more lemmas | changeset | files |
Fri, 07 Oct 2016 17:58:36 +0200 | fleury | tuning multisets | changeset | files |
Fri, 07 Oct 2016 17:57:17 +0200 | fleury | more lemmas | changeset | files |
Fri, 07 Oct 2016 10:45:21 +0200 | eberlm | Set_Permutations -> Multiset_Permutations in NEWS | changeset | files |