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 * Removed simplifier congruence rule of "prod_case", as has for long |
|
29 been the case with "split". |
27 |
30 |
28 |
31 |
29 New in Isabelle2009-2 (June 2010) |
32 New in Isabelle2009-2 (June 2010) |
30 --------------------------------- |
33 --------------------------------- |
31 |
34 |