equal
deleted
inserted
replaced
194 - Obsoleted "metisFT" -- use "metis (full_types)" instead. INCOMPATIBILITY. |
194 - Obsoleted "metisFT" -- use "metis (full_types)" instead. INCOMPATIBILITY. |
195 |
195 |
196 * Command 'try': |
196 * Command 'try': |
197 - Renamed 'try_methods' and added "simp:", "intro:", "dest:", and |
197 - Renamed 'try_methods' and added "simp:", "intro:", "dest:", and |
198 "elim:" options. INCOMPATIBILITY. |
198 "elim:" options. INCOMPATIBILITY. |
199 - Introduced 'tryÄ that not only runs 'try_methods' but also |
199 - Introduced 'try' that not only runs 'try_methods' but also |
200 'solve_direct', 'sledgehammer', 'quickcheck', and 'nitpick'. |
200 'solve_direct', 'sledgehammer', 'quickcheck', and 'nitpick'. |
201 |
201 |
202 * Quickcheck: |
202 * Quickcheck: |
203 |
203 |
204 - Added "eval" option to evaluate terms for the found counterexample |
204 - Added "eval" option to evaluate terms for the found counterexample |