Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 44711 cd8dbfc272df
parent 44710 9caf6883f1f4
child 44748 7f6838b3474a 
--- 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
isabelle