equal
deleted
inserted
replaced
40 |
40 |
41 *** HOL *** |
41 *** HOL *** |
42 |
42 |
43 * Nitpick: |
43 * Nitpick: |
44 - Added "need" and "total_consts" options. |
44 - Added "need" and "total_consts" options. |
|
45 - Reintroduced "show_skolems" option by popular demand. |
45 - Renamed attribute: nitpick_def ~> nitpick_unfold. |
46 - Renamed attribute: nitpick_def ~> nitpick_unfold. |
46 INCOMPATIBILITY. |
47 INCOMPATIBILITY. |
47 |
48 |
48 * Sledgehammer: |
49 * Sledgehammer: |
49 - sledgehammer available_provers ~> sledgehammer supported_provers |
50 - sledgehammer available_provers ~> sledgehammer supported_provers |