1.1 --- a/NEWS	Wed Jun 06 10:35:05 2012 +0200
     1.2 +++ b/NEWS	Wed Jun 06 10:35:05 2012 +0200
     1.3 @@ -31,6 +31,10 @@
     1.4  failures, enable the configuration option "z3_with_extensions".
     1.5  Minor INCOMPATIBILITY.
     1.6  
     1.7 +* Sledgehammer:
     1.8 +
     1.9 +  - Rationalized type encodings ("type_enc" option).
    1.10 +
    1.11  New in Isabelle2012 (May 2012)
    1.12  ------------------------------
    1.13