make op -->> infixr, to match op --->

--- a/src/HOLCF/Tools/holcf_library.ML	Tue Oct 26 14:19:59 2010 -0700
+++ b/src/HOLCF/Tools/holcf_library.ML	Wed Oct 27 11:06:53 2010 -0700
@@ -8,7 +8,7 @@
 struct
 
 infixr 6 ->>;
-infix -->>;
+infixr -->>;
 infix 9 `;
 
 (*** Operations from Isabelle/HOL ***)