X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fre_complete%2Fbasics%2Flist.ma;h=df0fa840cb6b3d7252ead27b5bc781d7aceccb62;hb=cdb85e803cd6038352ec0a318285f96f42faf02d;hp=b0a6831356957f897782355324122a2fea5c12a5;hpb=0d481cc22ba8ada5781885da5398086a0b5662f3;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.