Wed, 11 Jan 2012 00:05:31 +0100 | berghofe | merged | changeset | files |
Wed, 11 Jan 2012 00:01:54 +0100 | berghofe | Removed strange hack introduced in b27e93132603, since equivariance | changeset | files |
Tue, 10 Jan 2012 23:59:37 +0100 | berghofe | Replaced perm_set_eq by perm_set_def | changeset | files |