- notation (possibly affecting all .ma files):

[helm.git] / matita / matita / re_complete / moves.ma

diff --git a/matita/matita/re_complete/moves.ma b/matita/matita/re_complete/moves.ma
index dc7474e21c42c2cfcc951ede34655b4699d1fe0c..a14487498a9accfc5227bcf9579ad1c2282c4c55 100644 (file)
--- a/matita/matita/re_complete/moves.ma
+++ b/matita/matita/re_complete/moves.ma
@@ -68,7 +68,7 @@ theorem move_ok:
   ]
 qed.
     
-notation > "x ↦* E" non associative with precedence 60 for @{moves ? $x $E}.
+notation > "x ↦* E" non associative with precedence 65 for @{moves ? $x $E}.
 let rec moves (S : DeqSet) w e on w : pre S ≝
  match w with
   [ nil ⇒ e