| 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 |
| Wed, 03 Apr 2019 12:55:27 +0100 | paulson | new group theory material, mostly ported from HOL Light | file | diff | annotate |
| Tue, 02 Apr 2019 12:56:05 +0100 | paulson | some new group theory results: integer group, trivial group, etc. | file | diff | annotate |