| Thu, 08 Jul 2021 08:42:36 +0200 | desharna | added opaque_combs and renamed hide_lams to opaque_lifting | file | diff | annotate |
| Mon, 01 Mar 2021 17:59:17 +0000 | paulson | reverted simprule status on a new lemma | file | diff | annotate |
| 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 |