equal
deleted
inserted
replaced
157 * Nitpick: |
157 * Nitpick: |
158 - Fixed soundness bug related to the strict and nonstrict subset |
158 - Fixed soundness bug related to the strict and nonstrict subset |
159 operations. |
159 operations. |
160 |
160 |
161 * Sledgehammer: |
161 * Sledgehammer: |
|
162 - CVC4 is now included with Isabelle instead of CVC3 and run by |
|
163 default. |
162 - Minimization is now always enabled by default. |
164 - Minimization is now always enabled by default. |
163 Removed subcommand: |
165 Removed subcommand: |
164 min |
166 min |
165 - The proof reconstruction, both one-liners and Isar, has been |
167 - The proof reconstruction, both one-liners and Isar, has been |
166 dramatically improved. |
168 dramatically improved. |