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 * September 2017: Jasmin Blanchette |
|
18 Further integration of Nunchaku model finder. |
16 |
19 |
17 * August 2017: Andreas Lochbihler, ETH Zurich |
20 * August 2017: Andreas Lochbihler, ETH Zurich |
18 type of unordered pairs (HOL-Library.Uprod) |
21 type of unordered pairs (HOL-Library.Uprod) |
19 |
22 |
20 * August 2017: Manuel Eberl, TUM |
23 * August 2017: Manuel Eberl, TUM |