update in delayed_updating

[helm.git] / matita / matita / library / demo / power_derivative.ma

diff --git a/matita/matita/library/demo/power_derivative.ma b/matita/matita/library/demo/power_derivative.ma
index a425dfcc357783ee52a23f8215be3d91265d29b5..3512ad6fe0b59697b526384ad8a7d09aaf559522 100644 (file)
--- a/matita/matita/library/demo/power_derivative.ma
+++ b/matita/matita/library/demo/power_derivative.ma
@@ -213,11 +213,11 @@ interpretation "Rderivative" 'derivative f = (derivative f).
  *  Any file that includes this one can not use 'x' as an identifier
  *)  
 notation "hvbox('X' \sup n)"
-  non associative with precedence 60
+  non associative with precedence 65
 for @{ 'monomio $n }.
 
 notation "hvbox('X')"
-  non associative with precedence 60
+  non associative with precedence 65
 for @{ 'monomio 1 }.
 
 interpretation "Rmonomio" 'monomio n = (monomio n).