X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Flibrary%2Fdidactic%2Fexercises%2Fnatural_deduction_theories.ma;h=7d5d893785850068212c66d7fab7aa5fe0c1b621;hb=eaaea3c18083de3e442e939768ff450d3b093911;hp=9768e26e2997da01f7c6b1da99a4cdff2ae1c174;hpb=dc66c8d89a5147178ccdacb8341ed26c9c52f06b;p=helm.git

diff --git a/matita/matita/library/didactic/exercises/natural_deduction_theories.ma b/matita/matita/library/didactic/exercises/natural_deduction_theories.ma
index 9768e26e2..7d5d89378 100644
--- a/matita/matita/library/didactic/exercises/natural_deduction_theories.ma
+++ b/matita/matita/library/didactic/exercises/natural_deduction_theories.ma
@@ -197,8 +197,8 @@ interpretation "=" 'my_eq x y = (eq x y).
 interpretation "S" 'my_S x = (S x).
 interpretation "O" 'my_O = O.
 
-notation "x + y" non associative with precedence 50 for @{'my_plus $x $y}.
-notation "x * y" non associative with precedence 55 for @{'my_mult $x $y}.
+notation "x + y" non associative with precedence 55 for @{'my_plus $x $y}.
+notation "x * y" non associative with precedence 60 for @{'my_mult $x $y}.
 notation "x = y" non associative with precedence 45 for @{'my_eq $x $y}.
 notation > "'S' x" non associative with precedence 40 for @{'my_S $x}.
 notation < "'S'  x" non associative with precedence 40 for @{'my_S $x}.