equal
deleted
inserted
replaced
11 |
11 |
12 * 2017: Makarius Wenzel |
12 * 2017: Makarius Wenzel |
13 Session-qualified theory names (theory imports and ROOT files). |
13 Session-qualified theory names (theory imports and ROOT files). |
14 Prover IDE improvements. |
14 Prover IDE improvements. |
15 Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL. |
15 Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL. |
|
16 |
|
17 * August 2017: Manuel Eberl, TUM |
|
18 HOL-Analysis: infinite products over natural numbers, |
|
19 infinite sums over arbitrary sets, connection between formal |
|
20 power series and analytic complex functions |
16 |
21 |
17 * March 2017: Alasdair Armstrong, University of Sheffield and |
22 * March 2017: Alasdair Armstrong, University of Sheffield and |
18 Simon Foster, University of York |
23 Simon Foster, University of York |
19 Fixed-point theory and Galois Connections in HOL-Algebra. |
24 Fixed-point theory and Galois Connections in HOL-Algebra. |
20 |
25 |