NEWS
changeset 61943 7fba644ed827
parent 61941 31f2105521ee
child 61955 e96292f32c3c
     1.1 --- a/NEWS	Sun Dec 27 21:46:36 2015 +0100
     1.2 +++ b/NEWS	Sun Dec 27 22:07:17 2015 +0100
     1.3 @@ -476,6 +476,8 @@
     1.4  
     1.5    notation iff  (infixr "<->" 25)
     1.6  
     1.7 +  notation Times  (infixr "<*>" 80)
     1.8 +
     1.9    type_notation Map.map  (infixr "~=>" 0)
    1.10    notation Map.map_comp  (infixl "o'_m" 55)
    1.11