partial update in delayed_updating

[helm.git] / matita / matita / library / dama / uniform.ma

diff --git a/matita/matita/library/dama/uniform.ma b/matita/matita/library/dama/uniform.ma
index d6637a85db89416896072733424d9c95bfa2c328..137b63ef3602dc25b4b5306580b81d3a8d6b3053 100644 (file)
--- a/matita/matita/library/dama/uniform.ma
+++ b/matita/matita/library/dama/uniform.ma
@@ -33,7 +33,7 @@ definition invert_bs_relation ≝
   λC:bishop_set.λU:C squareB → Prop.
     λx:C squareB. U 〈\snd x,\fst x〉.
       
-notation > "\inv" with precedence 60 for @{ 'invert_symbol  }.
+notation > "\inv" with precedence 65 for @{ 'invert_symbol  }.
 interpretation "relation invertion" 'invert a = (invert_bs_relation ? a).
 interpretation "relation invertion" 'invert_symbol = (invert_bs_relation ?).
 interpretation "relation invertion" 'invert_appl a x = (invert_bs_relation ? a x).