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 Isabelle2019 |
6 Contributions to Isabelle2019 |
7 ----------------------------- |
7 ----------------------------- |
|
8 |
|
9 * April 2019: LC Paulson |
|
10 Homology and supporting lemmas on topology and group theory |
|
11 |
|
12 * April 2019: Paulo de Vilhena and Martin Baillon |
|
13 Group theory developments towards proving algebraic closure |
8 |
14 |
9 * February/March 2019: Makarius Wenzel |
15 * February/March 2019: Makarius Wenzel |
10 Stateless management of export artifacts in the Isabelle/HOL code generator. |
16 Stateless management of export artifacts in the Isabelle/HOL code generator. |
11 |
17 |
12 * February 2019: Manuel Eberl |
18 * February 2019: Manuel Eberl |