| Thu, 08 Jul 2021 08:42:36 +0200 |
desharna |
added opaque_combs and renamed hide_lams to opaque_lifting
|
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
|
| Mon, 01 Apr 2019 17:02:43 +0100 |
paulson |
A few results in Algebra, and bits for Analysis
|
file |
diff |
annotate
|
| Tue, 29 Jan 2019 15:26:43 +0000 |
paulson |
some new results in group theory
|
file |
diff |
annotate
|
| Thu, 04 Oct 2018 15:25:47 +0100 |
paulson |
updates to Algebra from Baillon and de Vilhena
|
file |
diff |
annotate
|
| Sat, 28 Jul 2018 16:06:36 +0100 |
paulson |
de-applying and simplification
|
file |
diff |
annotate
|
| Mon, 09 Jul 2018 23:29:10 +0100 |
paulson |
final removal of smt from Algebra
|
file |
diff |
annotate
|
| Sun, 08 Jul 2018 23:35:33 +0100 |
paulson |
removal of smt
|
file |
diff |
annotate
|
| Tue, 03 Jul 2018 11:00:37 +0200 |
wenzelm |
more standard headers;
|
file |
diff |
annotate
|
| Mon, 02 Jul 2018 21:45:10 +0100 |
paulson |
Hiding the constant "norm", lest it clash with the norm of a vector space
|
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
|