--- a/src/HOLCF/Fixrec.thy Tue Nov 03 18:32:56 2009 -0800
+++ b/src/HOLCF/Fixrec.thy Tue Nov 03 18:33:16 2009 -0800
@@ -622,6 +622,7 @@
lemmas [fixrec_simp] =
run_strict run_fail run_return
+ mplus_strict mplus_fail mplus_return
spair_strict_iff
sinl_defined_iff
sinr_defined_iff