src/HOL/HOLCF/Fixrec.thy

       (@{const_name spair}, @{const_name match_spair}),
       (@{const_name Pair}, @{const_name match_Pair}),
       (@{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
 
 end