changeset 37389 | 09467cdfa198 |
parent 37387 | 3581483cca6c |
child 37411 | c88c44156083 |
child 37423 | 6167695009ad |
--- a/NEWS Tue Jun 08 16:37:22 2010 +0200 +++ b/NEWS Thu Jun 10 12:24:01 2010 +0200 @@ -10,12 +10,17 @@ types nat ~> Nat.nat + * ~> Product_Type,* + ~> Sum_Type.+ constants Ball ~> Set.Ball Bex ~> Set.Bex Suc ~> Nat.Suc + Pair ~> Product_Type.Pair + fst ~> Product_Type.fst + snd ~> Product_Type.snd + split ~> Product_Type.split curry ~> Product_Type.curry INCOMPATIBILITY.