--- 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 ***)