| 2010-05-28 | Christian Urban | first version of the abstract | changeset | files |
| 2010-05-27 | Christian Urban | merged | changeset | files |
| 2010-05-27 | Christian Urban | fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set | changeset | files |
| Loading... | |||