NEWS

--- a/NEWS	Fri Aug 01 17:41:37 2008 +0200
+++ b/NEWS	Fri Aug 01 18:10:52 2008 +0200
@@ -142,7 +142,8 @@
 least_carrier ~> least_closed
 greatest_carrier ~> greatest_closed
 greatest_Lower_above ~> greatest_Lower_below
-
+one_zero ~> carrier_one_zero
+one_not_zero ~> carrier_one_not_zero  (collision with assumption)
 
 *** HOL-NSA ***