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