changeset 37423 | 6167695009ad |
parent 37389 | 09467cdfa198 |
child 37433 | a2a89563bfcb |
--- a/NEWS Mon Jun 14 10:50:49 2010 +0200 +++ b/NEWS Mon Jun 14 12:01:30 2010 +0200 @@ -25,6 +25,13 @@ INCOMPATIBILITY. +* Datatype package: theorems generated for executable equality +(class eq) carry proper names and are treated as default code +equations. + +* List.thy: use various operations from the Haskell prelude when +generating Haskell code. + New in Isabelle2009-2 (June 2010) ---------------------------------