1.1 --- a/NEWS	Tue Jun 15 14:28:08 2010 +0200
     1.2 +++ b/NEWS	Tue Jun 15 14:28:22 2010 +0200
     1.3 @@ -35,6 +35,12 @@
     1.4  * List.thy: use various operations from the Haskell prelude when
     1.5  generating Haskell code.
     1.6  
     1.7 +* code_simp.ML: simplification with rules determined by
     1.8 +code generator.
     1.9 +
    1.10 +* code generator: do not print function definitions for case
    1.11 +combinators any longer.
    1.12 +
    1.13  
    1.14  
    1.15  New in Isabelle2009-2 (June 2010)