equal
deleted
inserted
replaced
7 ---------------------------- |
7 ---------------------------- |
8 |
8 |
9 *** HOL *** |
9 *** HOL *** |
10 |
10 |
11 * Discontinued simp_legacy_precond. Potential INCOMPATIBILITY. |
11 * Discontinued simp_legacy_precond. Potential INCOMPATIBILITY. |
|
12 |
|
13 * Sledgehammer: |
|
14 - Proof reconstruction has been improved, to minimize the incidence of |
|
15 cases where Sledgehammer gives a proof that does not work. |
|
16 - Auto Sledgehammer now minimizes and preplays the results. |
12 |
17 |
13 |
18 |
14 New in Isabelle2015 (May 2015) |
19 New in Isabelle2015 (May 2015) |
15 ------------------------------ |
20 ------------------------------ |
16 |
21 |