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 44648 897f32a827f2
parent 44647 e4de7750cdeb
child 44666 8670a39d4420 
--- a/NEWS	Thu Sep 01 09:02:14 2011 -0700
+++ b/NEWS	Thu Sep 01 10:41:19 2011 -0700
@@ -243,6 +243,8 @@
   continuous_on_inner ~> continuous_on_inner [OF continuous_on_const]
   continuous_on_norm ~> continuous_on_norm [OF continuous_on_id]
   continuous_on_inverse ~> continuous_on_inv
+  uniformly_continuous_on_neg ~> uniformly_continuous_on_minus
+  uniformly_continuous_on_sub ~> uniformly_continuous_on_diff
   subset_interior ~> interior_mono
   subset_closure ~> closure_mono
   closure_univ ~> closure_UNIV
isabelle