# HG changeset patch
# User huffman
# Date 1272304624 25200
# Node ID 886b94b1bed7ce9c8ecaaa04191bb1fe47fa5844
# Parent  18bf20d0c2df37b746fec7d80c687d8cd8c39863
fix if-then-else parse error

diff -r 18bf20d0c2df -r 886b94b1bed7 src/HOL/Bali/DeclConcepts.thy
--- a/src/HOL/Bali/DeclConcepts.thy	Mon Apr 26 09:45:22 2010 -0700
+++ b/src/HOL/Bali/DeclConcepts.thy	Mon Apr 26 10:57:04 2010 -0700
@@ -1390,7 +1390,7 @@
 "accimethds G pack I
   \<equiv> if G\<turnstile>Iface I accessible_in pack 
        then imethds G I
-       else \<lambda> k. {}"
+       else (\<lambda> k. {})"
 text {* only returns imethds if the interface is accessible *}
 
 definition methd :: "prog \<Rightarrow> qtname  \<Rightarrow> (sig,qtname \<times> methd) table" where