NEWS
changeset 37389 09467cdfa198
parent 37387 3581483cca6c
child 37411 c88c44156083
child 37423 6167695009ad
     1.1 --- a/NEWS	Tue Jun 08 16:37:22 2010 +0200
     1.2 +++ b/NEWS	Thu Jun 10 12:24:01 2010 +0200
     1.3 @@ -10,12 +10,17 @@
     1.4  
     1.5    types
     1.6      nat ~> Nat.nat
     1.7 +    * ~> Product_Type,*
     1.8      + ~> Sum_Type.+
     1.9  
    1.10    constants
    1.11      Ball ~> Set.Ball
    1.12      Bex ~> Set.Bex
    1.13      Suc ~> Nat.Suc
    1.14 +    Pair ~> Product_Type.Pair
    1.15 +    fst ~> Product_Type.fst
    1.16 +    snd ~> Product_Type.snd
    1.17 +    split ~> Product_Type.split
    1.18      curry ~> Product_Type.curry
    1.19  
    1.20  INCOMPATIBILITY.