equal
deleted
inserted
replaced
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 |
16 |
17 * September 2017: Jasmin Blanchette |
17 * September 2017: Jasmin Blanchette |
18 Further integration of Nunchaku model finder. |
18 Further integration of Nunchaku model finder. |
|
19 |
|
20 * September 2017: Lawrence Paulson |
|
21 HOL-Analysis, e.g., simplicial complexes, Jordan Curve Theorem. |
19 |
22 |
20 * August 2017: Andreas Lochbihler, ETH Zurich |
23 * August 2017: Andreas Lochbihler, ETH Zurich |
21 type of unordered pairs (HOL-Library.Uprod) |
24 type of unordered pairs (HOL-Library.Uprod) |
22 |
25 |
23 * August 2017: Manuel Eberl, TUM |
26 * August 2017: Manuel Eberl, TUM |