--- a/NEWS Mon Dec 06 10:08:33 2010 -0800
+++ b/NEWS Mon Dec 06 11:22:42 2010 -0800
@@ -526,6 +526,7 @@
lub_bin_chain ~> is_lub_bin_chain
lub_fun ~> is_lub_fun
thelub_fun ~> lub_fun
+ thelub_cfun ~> lub_cfun
thelub_Pair ~> lub_Pair
lub_cprod ~> is_lub_prod
thelub_cprod ~> lub_prod