X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flibrary%2Fdatatypes%2Fcategories.ma;h=e123a8772c7865be10b32508536686aa1d956412;hb=7ac5fca2e08ea671a75c9adf4ef070dbd0ea2c37;hp=b9e365c7e53d0e98ed01ac6f12ddea099d577081;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/library/datatypes/categories.ma b/matita/matita/library/datatypes/categories.ma
index b9e365c7e..e123a8772 100644
--- a/matita/matita/library/datatypes/categories.ma
+++ b/matita/matita/library/datatypes/categories.ma
@@ -84,7 +84,7 @@ interpretation "setoid1 eq" 'eq t x y = (eq_rel1 ? (eq1 t) x y).
 interpretation "setoid eq" 'eq t x y = (eq_rel ? (eq t) x y).
 interpretation "setoid1 symmetry" 'invert r = (sym1 ???? r).
 interpretation "setoid symmetry" 'invert r = (sym ???? r).
-notation ".= r" with precedence 50 for @{'trans $r}.
+notation ".= r" with precedence 55 for @{'trans $r}.
 interpretation "trans1" 'trans r = (trans1 ????? r).
 interpretation "trans" 'trans r = (trans ????? r).
 
@@ -127,7 +127,7 @@ definition if': ∀A,B:CPROP. A = B → A → B.
  intros; apply (if ?? H); assumption.
 qed.
 
-notation ". r" with precedence 50 for @{'if $r}.
+notation ". r" with precedence 55 for @{'if $r}.
 interpretation "if" 'if r = (if' ?? r).
 
 definition and_morphism: binary_morphism1 CPROP CPROP CPROP.