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 44669 8e6cdb9c00a7
parent 44666 8670a39d4420
child 44681 49ef76b4a634 
--- a/NEWS	Fri Sep 02 15:19:59 2011 -0700
+++ b/NEWS	Fri Sep 02 16:48:30 2011 -0700
@@ -274,6 +274,7 @@
   realpow_two_disj ~> power2_eq_iff
   real_squared_diff_one_factored ~> square_diff_one_factored
   realpow_two_diff ~> square_diff_square_factored
+  reals_complete2 ~> complete_real
   exp_ln_eq ~> ln_unique
   lemma_DERIV_subst ~> DERIV_cong
   LIMSEQ_Zfun_iff ~> tendsto_Zfun_iff
isabelle