src/HOL/HOLCF/Fixrec.thy

--- a/src/HOL/HOLCF/Fixrec.thy	Mon Jan 03 17:10:32 2011 +0100
+++ b/src/HOL/HOLCF/Fixrec.thy	Tue Jan 04 15:03:27 2011 -0800
@@ -241,7 +241,7 @@
       (@{const_name ONE}, @{const_name match_ONE}),
       (@{const_name TT}, @{const_name match_TT}),
       (@{const_name FF}, @{const_name match_FF}),
-      (@{const_name UU}, @{const_name match_bottom}) ]
+      (@{const_name bottom}, @{const_name match_bottom}) ]
 *}
 
 hide_const (open) succeed fail run