change some lemma names containing 'UU' to 'bottom'
(* Title: HOLCF/Plain_HOLCF.thy Author: Brian Huffman*)header {* Plain HOLCF *}theory Plain_HOLCFimports Cfun Sfun Cprod Sprod Ssum Up Discrete Lift One Tr Fixbegintext {* Basic HOLCF concepts and types; does not include definition packages.*}end