| Wed, 03 Apr 2019 21:50:00 +0200 | wenzelm | clarified signature: more explicit operations for corresponding Isar commands; | changeset | files |
| Wed, 03 Apr 2019 21:11:21 +0200 | wenzelm | proper URL; | changeset | files |
| 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 |
| Wed, 03 Apr 2019 16:38:27 +0100 | paulson | new theory Library/Poly_Mapping, of almost-everywhere-zero functions | changeset | files |
| Wed, 03 Apr 2019 15:14:36 +0100 | paulson | Material concerning exact sequences of groups | changeset | files |