equal
deleted
inserted
replaced
3 listed as an author in one of the source files of this Isabelle distribution. |
3 listed as an author in one of the source files of this Isabelle distribution. |
4 |
4 |
5 |
5 |
6 Contributions to Isabelle2021 |
6 Contributions to Isabelle2021 |
7 ----------------------------- |
7 ----------------------------- |
|
8 |
|
9 * January 2021: Manuel Eberl |
|
10 Characteristic of a semiring |
|
11 |
|
12 * January 2021: Manuel Eberl |
|
13 Algebraic integers in HOL-Computational_Algebra |
8 |
14 |
9 * December 2020: Stepan Holub |
15 * December 2020: Stepan Holub |
10 Contributed lemmas for theory HOL.List. |
16 Contributed lemmas for theory HOL.List. |
11 |
17 |
12 * December 2020: Martin Desharnais |
18 * December 2020: Martin Desharnais |