equal
deleted
inserted
replaced
22 snd ~> Product_Type.snd |
22 snd ~> Product_Type.snd |
23 split ~> Product_Type.split |
23 split ~> Product_Type.split |
24 curry ~> Product_Type.curry |
24 curry ~> Product_Type.curry |
25 |
25 |
26 INCOMPATIBILITY. |
26 INCOMPATIBILITY. |
|
27 |
|
28 * Datatype package: theorems generated for executable equality |
|
29 (class eq) carry proper names and are treated as default code |
|
30 equations. |
|
31 |
|
32 * List.thy: use various operations from the Haskell prelude when |
|
33 generating Haskell code. |
27 |
34 |
28 |
35 |
29 New in Isabelle2009-2 (June 2010) |
36 New in Isabelle2009-2 (June 2010) |
30 --------------------------------- |
37 --------------------------------- |
31 |
38 |