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 |