diff -r 9caf6883f1f4 -r cd8dbfc272df NEWS
--- a/NEWS	Sun Sep 04 09:49:45 2011 -0700
+++ b/NEWS	Sun Sep 04 10:05:52 2011 -0700
@@ -277,6 +277,8 @@
   realpow_two_diff ~> square_diff_square_factored
   reals_complete2 ~> complete_real
   exp_ln_eq ~> ln_unique
+  expi_add ~> exp_add
+  expi_zero ~> exp_zero
   lemma_DERIV_subst ~> DERIV_cong
   LIMSEQ_Zfun_iff ~> tendsto_Zfun_iff
   LIMSEQ_const ~> tendsto_const