NEWS

--- a/NEWS	Sat Sep 03 09:12:19 2011 -0700
+++ b/NEWS	Sat Sep 03 09:26:11 2011 -0700
@@ -204,6 +204,7 @@
 removed, and other theorems have been renamed or replaced with more
 general versions. INCOMPATIBILITY.
 
+  finite_choice ~> finite_set_choice
   eventually_conjI ~> eventually_conj
   eventually_and ~> eventually_conj_iff
   eventually_false ~> eventually_False