equal
deleted
inserted
replaced
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * October 2020: Mathias Fleury |
9 * October 2020: Mathias Fleury |
10 Updated proof reconstruction for the SMT solver veriT in the smt method. |
10 Updated proof reconstruction for the SMT solver veriT in the smt method. |
|
11 |
|
12 * October 2020: Jasmin Blanchette, Martin Desharnais |
|
13 Integration of E 2.5 for Sledgehammer. |
11 |
14 |
12 * August 2020: Makarius Wenzel |
15 * August 2020: Makarius Wenzel |
13 Improved monitoring of runtime statistics: ML GC progress and Java. |
16 Improved monitoring of runtime statistics: ML GC progress and Java. |
14 |
17 |
15 * July 2020: Martin Desharnais |
18 * July 2020: Martin Desharnais |