X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fre_complete%2Fbasics%2Flist.ma;fp=matita%2Fmatita%2Fre_complete%2Fbasics%2Flist.ma;h=df0fa840cb6b3d7252ead27b5bc781d7aceccb62;hb=eaaea3c18083de3e442e939768ff450d3b093911;hp=b0a6831356957f897782355324122a2fea5c12a5;hpb=dc66c8d89a5147178ccdacb8341ed26c9c52f06b;p=helm.git

diff --git a/matita/matita/re_complete/basics/list.ma b/matita/matita/re_complete/basics/list.ma
index b0a683135..df0fa840c 100644
--- a/matita/matita/re_complete/basics/list.ma
+++ b/matita/matita/re_complete/basics/list.ma
@@ -151,7 +151,7 @@ let rec length (A:Type[0]) (l:list A) on l ≝
     [ nil ⇒ O
     | 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).
 
 lemma length_append: ∀A.∀l1,l2:list A.