NEWS

--- a/NEWS	Tue Jan 04 15:03:27 2011 -0800
+++ b/NEWS	Tue Jan 04 15:32:56 2011 -0800
@@ -599,6 +599,10 @@
   thelub_cprod    ~> lub_prod
   minimal_cprod   ~> minimal_prod
   inst_cprod_pcpo ~> inst_prod_pcpo
+  UU_I            ~> bottomI
+  compact_UU      ~> compact_bottom
+  deflation_UU    ~> deflation_bottom
+  finite_deflation_UU ~> finite_deflation_bottom
 
 * Many legacy theorem names have been discontinued. INCOMPATIBILITY.
   sq_ord_less_eq_trans ~> below_eq_trans