equal
deleted
inserted
replaced
9 * June 2018: Fabian Immler |
9 * June 2018: Fabian Immler |
10 More tool support for HOL-Types_To_Sets. |
10 More tool support for HOL-Types_To_Sets. |
11 |
11 |
12 * June 2018: Martin Baillon and Paulo Emílio de Vilhena |
12 * June 2018: Martin Baillon and Paulo Emílio de Vilhena |
13 A variety of contributions to HOL-Algebra. |
13 A variety of contributions to HOL-Algebra. |
|
14 |
|
15 * June 2018: Wenda Li |
|
16 New/strengthened results involving analysis, topology, etc. |
14 |
17 |
15 * May 2018: Manuel Eberl |
18 * May 2018: Manuel Eberl |
16 Landau symbols and asymptotic equivalence (moved from the AFP). |
19 Landau symbols and asymptotic equivalence (moved from the AFP). |
17 |
20 |
18 * May 2018: Jose Divasón (Universidad de la Rioja), |
21 * May 2018: Jose Divasón (Universidad de la Rioja), |