| Thu, 04 Apr 2019 16:38:45 +0100 | paulson | fixed markup in Poly_Mapping; Free_Abelian_Groups (but not yet imported by Algebra!) | changeset | files |
| Thu, 04 Apr 2019 14:19:33 +0100 | paulson | More group theory. Sum and product indexed by the non-neutral part of a set | changeset | files |
| Wed, 03 Apr 2019 16:38:59 +0100 | paulson | theory Poly_Mapping | changeset | files |