| Mon, 16 Nov 2020 21:36:07 +0000 | paulson | Jakub Kądziołka's stronger version of generate_pow_card (required some restructuring) | file | diff | annotate |
| Fri, 06 Sep 2019 15:50:57 +0200 | wenzelm | proper session-qualifier imports (amending "fixes" from adaa0a6ea4fe); | file | diff | annotate |
| Fri, 05 Apr 2019 15:02:46 +0100 | paulson | Free_Abelian_Groups finally working; fixed some duplicates; cleaned up some proofs | file | diff | annotate |
| Fri, 05 Apr 2019 11:21:53 +0100 | paulson | fixes for Free_Abelian_Groups | file | diff | annotate |
| Thu, 04 Apr 2019 16:38:45 +0100 | paulson | fixed markup in Poly_Mapping; Free_Abelian_Groups (but not yet imported by Algebra!) | file | diff | annotate |