| changeset 41727 | ab3f6d76fb23 |
| parent 41703 | d27950860514 |
| child 41728 | 2837df4d1c7a |
--- a/NEWS Tue Feb 08 16:10:09 2011 +0100 +++ b/NEWS Tue Feb 08 16:10:10 2011 +0100 @@ -11,6 +11,13 @@ usedir option -Q. +*** HOL *** + +* Sledgehammer: + sledgehammer available_provers ~> sledgehammer supported_provers + INCOMPATIBILITY. + + *** Document preparation *** * New term style "isub" as ad-hoc conversion of variables x1, y23 into