src/HOL/Bali/Evaln.thy
changeset 22218 30a8890d2967
parent 21765 89275a3ed7be
child 23350 50c5b0912a0c
     1.1 --- a/src/HOL/Bali/Evaln.thy	Wed Jan 31 14:03:31 2007 +0100
     1.2 +++ b/src/HOL/Bali/Evaln.thy	Wed Jan 31 16:05:10 2007 +0100
     1.3 @@ -191,7 +191,7 @@
     1.4            \<Longrightarrow>
     1.5  		 G\<turnstile>Norm s0 \<midarrow>Init C\<midarrow>n\<rightarrow> s3"
     1.6  monos
     1.7 -  if_def2
     1.8 +  if_bool_eq_conj
     1.9  
    1.10  
    1.11  declare split_if     [split del] split_if_asm     [split del]