NEWS

--- a/NEWS	Thu Aug 25 14:26:38 2011 -0700
+++ b/NEWS	Thu Aug 25 15:35:54 2011 -0700
@@ -218,6 +218,8 @@
   Lim_linear ~> bounded_linear.tendsto
   Lim_component ~> tendsto_euclidean_component
   Lim_component_cart ~> tendsto_vec_nth
+  dot_lsum ~> inner_setsum_left
+  dot_rsum ~> inner_setsum_right
   subset_interior ~> interior_mono
   subset_closure ~> closure_mono
   closure_univ ~> closure_UNIV