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 Isabelle2018 |
6 Contributions to Isabelle2018 |
7 ----------------------------- |
7 ----------------------------- |
|
8 |
|
9 * June 2018: Martin Baillon and Paulo Emílio de Vilhena |
|
10 A variety of contributions to HOL-Algebra. |
8 |
11 |
9 * May 2018: Manuel Eberl |
12 * May 2018: Manuel Eberl |
10 Landau symbols and asymptotic equivalence (moved from the AFP). |
13 Landau symbols and asymptotic equivalence (moved from the AFP). |
11 |
14 |
12 * May 2018: Jose Divasón (Universidad de la Rioja), |
15 * May 2018: Jose Divasón (Universidad de la Rioja), |