| Thu, 04 Apr 2024 15:29:41 +0200 |
Manuel Eberl |
moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
|
file |
diff |
annotate
|
| Mon, 27 Feb 2023 17:09:59 +0000 |
paulson |
Importation of basic group theory results, due to Jakob von Raumer from his AFP entry Jordan-Hölder Theorem
|
file |
diff |
annotate
|
| Wed, 25 Jan 2023 13:37:44 +0000 |
paulson |
Some new material from the AFP
|
file |
diff |
annotate
|
| Sat, 13 Apr 2019 19:23:47 +0100 |
paulson |
Towards a proof of algebraic closure (NB not finished)
|
file |
diff |
annotate
|
| Fri, 05 Apr 2019 11:21:53 +0100 |
paulson |
fixes for Free_Abelian_Groups
|
file |
diff |
annotate
|
| Wed, 03 Apr 2019 14:55:30 +0100 |
paulson |
Products and sums of a family of groups
|
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
|
| Tue, 03 Jul 2018 11:00:37 +0200 |
wenzelm |
more standard headers;
|
file |
diff |
annotate
|
| Mon, 02 Jul 2018 22:40:25 +0100 |
paulson |
more algebra
|
file |
diff |
annotate
|
| Mon, 02 Jul 2018 14:41:35 +0100 |
paulson |
Lots of new algebra theories by Martin Baillon and Paulo Emílio de Vilhena
|
file |
diff |
annotate
|