# HG changeset patch
# User paulson
# Date 863165887 -7200
# Node ID 922a604513828b874c068116f9f16a5693ea3a8d
# Parent  809a2c9902f7949a170165ef8fa7038a63cddf18
Fixed precedence of semicolon

diff -r 809a2c9902f7 -r 922a60451382 src/HOL/Induct/Com.thy
--- a/src/HOL/Induct/Com.thy	Fri May 09 10:17:41 1997 +0200
+++ b/src/HOL/Induct/Com.thy	Fri May 09 10:18:07 1997 +0200
@@ -23,7 +23,7 @@
       | valOf exp exp          ("VALOF _ RESULTIS _"  60)
       | SKIP
       | ":="  loc exp          (infixl  60)
-      | Semi  exp exp          ("_;;_"  [60, 60] 10)
+      | Semi  exp exp          ("_;;_"  [60, 60] 60)
       | Cond  exp exp exp      ("IF _ THEN _ ELSE _"  60)
       | While exp exp          ("WHILE _ DO _"  60)