equal
deleted
inserted
replaced
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 |
14 |
15 * June 2018: Wenda Li |
15 * June 2018: Wenda Li |
16 New/strengthened results involving analysis, topology, etc. |
16 New/strengthened results involving analysis, topology, etc. |
|
17 |
|
18 * May/June 2018: Makarius Wenzel |
|
19 System infrastructure to export blobs as theory presentation, and to dump |
|
20 PIDE database content in batch mode. |
17 |
21 |
18 * May 2018: Manuel Eberl |
22 * May 2018: Manuel Eberl |
19 Landau symbols and asymptotic equivalence (moved from the AFP). |
23 Landau symbols and asymptotic equivalence (moved from the AFP). |
20 |
24 |
21 * May 2018: Jose Divasón (Universidad de la Rioja), |
25 * May 2018: Jose Divasón (Universidad de la Rioja), |