src/HOL/HOLCF/Fixrec.thy
changeset 41429 cf5f025bc3c7
parent 41029 f7d8cfa6e7fc
child 42151 4da4fc77664b
     1.1 --- a/src/HOL/HOLCF/Fixrec.thy	Mon Jan 03 17:10:32 2011 +0100
     1.2 +++ b/src/HOL/HOLCF/Fixrec.thy	Tue Jan 04 15:03:27 2011 -0800
     1.3 @@ -241,7 +241,7 @@
     1.4        (@{const_name ONE}, @{const_name match_ONE}),
     1.5        (@{const_name TT}, @{const_name match_TT}),
     1.6        (@{const_name FF}, @{const_name match_FF}),
     1.7 -      (@{const_name UU}, @{const_name match_bottom}) ]
     1.8 +      (@{const_name bottom}, @{const_name match_bottom}) ]
     1.9  *}
    1.10  
    1.11  hide_const (open) succeed fail run