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