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 44530 adb18b07b341
parent 44527 bf8014b4f933
child 44531 1d477a2b1572 
--- a/NEWS	Thu Aug 25 16:42:13 2011 -0700
+++ b/NEWS	Thu Aug 25 16:50:55 2011 -0700
@@ -218,6 +218,7 @@
   Lim_linear ~> bounded_linear.tendsto
   Lim_component ~> tendsto_euclidean_component
   Lim_component_cart ~> tendsto_vec_nth
+  Lim_inner ~> tendsto_inner [OF tendsto_const]
   dot_lsum ~> inner_setsum_left
   dot_rsum ~> inner_setsum_right
   subset_interior ~> interior_mono
isabelle