X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2FPOPLmark%2FFsub%2Fadeq.ma;h=bd1c407162f5d6584655c570fc1856fa58b2acb6;hb=376fd7774ef0fa2f30a4afb25aab6158e3cd04b7;hp=2a0f730abdc5b307c4675601ab1ad3e9f93452cf;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/contribs/POPLmark/Fsub/adeq.ma b/matita/matita/contribs/POPLmark/Fsub/adeq.ma
index 2a0f730ab..bd1c40716 100644
--- a/matita/matita/contribs/POPLmark/Fsub/adeq.ma
+++ b/matita/matita/contribs/POPLmark/Fsub/adeq.ma
@@ -144,7 +144,7 @@ interpretation "Fsub names to LN env encoding" 'encode G = (encodeenv G).
 notation < "| T |" with precedence 25 for @{'abs $T}.
 interpretation "Fsub named type length" 'abs T = (nt_len T).
 interpretation "list length" 'abs l = (length ? l).
-notation < "〈a,b〉 · T" with precedence 60 for @{'swap $a $b $T}.
+notation < "〈a,b〉 · T" with precedence 65 for @{'swap $a $b $T}.
 interpretation "natural swap" 'swap a b n = (swap a b n).
 interpretation "Fsub name swap in a named type" 'swap a b T = (swap_NTyp a b T).
 interpretation "Fsub name swap in a LN type" 'swap a b T = (swap_Typ a b T).