X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2FICC%2Flamla.ma;h=4af4ff558516061f05384168a8df754548dc4db1;hb=a8cd6cc85182245df447a21caf16b6503fa4b3e5;hp=d547753755fcd26f056a837a53a43762aff09069;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/contribs/ICC/lamla.ma b/matita/matita/contribs/ICC/lamla.ma
index d54775375..4af4ff558 100644
--- a/matita/matita/contribs/ICC/lamla.ma
+++ b/matita/matita/contribs/ICC/lamla.ma
@@ -52,7 +52,7 @@ notation "𝟛" non associative with precedence 90 for @{ 'three }.
 interpretation "three" 'three = (Var (S (S (S O)))).  
 notation "𝟜" non associative with precedence 90 for @{ 'four }.
 interpretation "four" 'four = (Var (S (S (S (S O))))).  
-notation < "a ­b" left associative with precedence 60 for @{ 'appl $a $b }.  
+notation < "a ­b" left associative with precedence 65 for @{ 'appl $a $b }.  
 interpretation "appl" 'appl a b = (Appl a b).
   
 let rec lift (from:nat) (amount:nat) (what:PT) on what : PT ≝