NEWS
changeset 40624 2df58ba31be7
parent 40621 86f598f84188
parent 40600 c2ca0eb91d99
child 40627 becf5d5187cc
     1.1 --- a/NEWS	Wed Nov 17 16:13:33 2010 -0800
     1.2 +++ b/NEWS	Fri Nov 19 09:07:23 2010 -0800
     1.3 @@ -314,6 +314,8 @@
     1.4    "solve_direct".
     1.5  
     1.6  * Sledgehammer:
     1.7 +  - Added "smt" and "remote_smt" provers based on the "smt" proof method. See
     1.8 +    the Sledgehammer manual for details ("isabelle doc sledgehammer").
     1.9    - Renamed lemmas:
    1.10      COMBI_def ~> Meson.COMBI_def
    1.11      COMBK_def ~> Meson.COMBK_def