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