update in basic_2

[helm.git] / matita / matita / nlibrary / basics / list2.ma

diff --git a/matita/matita/nlibrary/basics/list2.ma b/matita/matita/nlibrary/basics/list2.ma
index 1dd62c11459a888898d91cf32d0233ed0cf05ce4..094738c03b8fcfeb0930363fee3e0d69f760de8f 100644 (file)
--- a/matita/matita/nlibrary/basics/list2.ma
+++ b/matita/matita/nlibrary/basics/list2.ma
@@ -20,7 +20,7 @@ nlet rec length (A:Type) (l:list A) on l ≝
     [ nil ⇒ 0
     | cons a tl ⇒ S (length A tl)].
 
-notation "|M|" non associative with precedence 60 for @{'norm $M}.
+notation "|M|" non associative with precedence 65 for @{'norm $M}.
 interpretation "norm" 'norm l = (length ? l).
 
 nlet rec nth n (A:Type) (l:list A) (d:A)  ≝