update in static_2

[helm.git] / matita / matita / contribs / dama / dama_duality / tend.ma

diff --git a/matita/matita/contribs/dama/dama_duality/tend.ma b/matita/matita/contribs/dama/dama_duality/tend.ma
index a9372d26dee5f47b81809d3f25a8919b3129b329..1d14b49abf19f8848185b86c957f1cab638810c5 100644 (file)
--- a/matita/matita/contribs/dama/dama_duality/tend.ma
+++ b/matita/matita/contribs/dama/dama_duality/tend.ma
@@ -22,6 +22,6 @@ definition tends0 ≝
 definition d2s ≝ 
   λR.λms:metric_space R.λs:sequence ms.λk.λn. δ (s n) k.
 
-notation "s ⇝ x" non associative with precedence 50 for @{'tends $s $x}.
+notation "s ⇝ x" non associative with precedence 55 for @{'tends $s $x}.
 interpretation "tends to" 'tends s x = (tends0 ? (d2s ? ? s x)).