fix if-then-else parse error
authorhuffman
Mon Apr 26 10:57:04 2010 -0700 (2010-04-26)
changeset 36366886b94b1bed7
parent 36365 18bf20d0c2df
child 36367 49c7dee21a7f
fix if-then-else parse error
src/HOL/Bali/DeclConcepts.thy
     1.1 --- a/src/HOL/Bali/DeclConcepts.thy	Mon Apr 26 09:45:22 2010 -0700
     1.2 +++ b/src/HOL/Bali/DeclConcepts.thy	Mon Apr 26 10:57:04 2010 -0700
     1.3 @@ -1390,7 +1390,7 @@
     1.4  "accimethds G pack I
     1.5    \<equiv> if G\<turnstile>Iface I accessible_in pack 
     1.6         then imethds G I
     1.7 -       else \<lambda> k. {}"
     1.8 +       else (\<lambda> k. {})"
     1.9  text {* only returns imethds if the interface is accessible *}
    1.10  
    1.11  definition methd :: "prog \<Rightarrow> qtname  \<Rightarrow> (sig,qtname \<times> methd) table" where