# HG changeset patch
# User haftmann
# Date 1285578719 -7200
# Node ID 9094200d79884c6d76fb7c9dfe4081f36977757a
# Parent  56c98c820a9061bb4be2aad6af138d5874e177a1
corrected OCaml operator precedence

diff -r 56c98c820a90 -r 9094200d7988 src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Mon Sep 27 09:36:18 2010 +0200
+++ b/src/HOL/HOL.thy	Mon Sep 27 11:11:59 2010 +0200
@@ -1915,7 +1915,7 @@
     and infixl 1 "andalso" and infixl 0 "orelse"
     and "!(if (_)/ then (_)/ else (_))")
   (OCaml "true" and "false" and "not"
-    and infixl 4 "&&" and infixl 2 "||"
+    and infixl 3 "&&" and infixl 2 "||"
     and "!(if (_)/ then (_)/ else (_))")
   (Haskell "True" and "False" and "not"
     and infixl 3 "&&" and infixl 2 "||"