src/HOLCF/Fixrec.thy
changeset 37079 0cd15d8c90a0
parent 36998 9316a18ec931
child 37080 a2a1c8a658ef
     1.1 --- a/src/HOLCF/Fixrec.thy	Sat May 22 08:30:40 2010 -0700
     1.2 +++ b/src/HOLCF/Fixrec.thy	Sat May 22 10:02:07 2010 -0700
     1.3 @@ -587,6 +587,7 @@
     1.4  hide_const (open) return fail run cases
     1.5  
     1.6  lemmas [fixrec_simp] =
     1.7 +  beta_cfun cont2cont
     1.8    run_strict run_fail run_return
     1.9    mplus_strict mplus_fail mplus_return
    1.10    spair_strict_iff