| changeset 37442 | 037ee7b712b2 |
| parent 37433 | a2a89563bfcb |
| child 37484 | b7821e89fb79 |
--- a/NEWS Tue Jun 15 14:28:08 2010 +0200 +++ b/NEWS Tue Jun 15 14:28:22 2010 +0200 @@ -35,6 +35,12 @@ * List.thy: use various operations from the Haskell prelude when generating Haskell code. +* code_simp.ML: simplification with rules determined by +code generator. + +* code generator: do not print function definitions for case +combinators any longer. + New in Isabelle2009-2 (June 2010)