NEWS
changeset 57212 f25dad3d6144
parent 57112 70395c65c0e3
child 57237 bc51864c2ac4
     1.1 --- a/NEWS	Wed Jun 11 11:28:46 2014 +0200
     1.2 +++ b/NEWS	Wed Jun 11 11:28:46 2014 +0200
     1.3 @@ -382,8 +382,7 @@
     1.4  * SMT module:
     1.5    * A new version of the SMT module, temporarily called "SMT2", uses SMT-LIB 2
     1.6      and supports recent versions of Z3 (e.g., 4.3). The new proof method is
     1.7 -    called "smt2", and the new Z3 is called "z3_new" in Sledgehammer and
     1.8 -    elsewhere.
     1.9 +    called "smt2".
    1.10  
    1.11  * Sledgehammer:
    1.12    - New prover "z3_new" with support for Isar proofs