X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fnlibrary%2Fbasics%2Flist2.ma;h=094738c03b8fcfeb0930363fee3e0d69f760de8f;hb=049d55c73d1746e15a40e89b17fd88b62f002d93;hp=1dd62c11459a888898d91cf32d0233ed0cf05ce4;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/nlibrary/basics/list2.ma b/matita/matita/nlibrary/basics/list2.ma
index 1dd62c114..094738c03 100644
--- 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)  ≝