diff -r e1bd8a54c40f -r d7728f65b353 NEWS
--- a/NEWS	Mon Sep 13 08:43:48 2010 +0200
+++ b/NEWS	Mon Sep 13 11:13:15 2010 +0200
@@ -73,7 +73,10 @@
 
 * String.literal is a type, but not a datatype. INCOMPATIBILITY.
  
-* Renamed lemmas: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff
+* Renamed lemmas:
+  expand_fun_eq -> fun_eq_iff
+  expand_set_eq -> set_eq_iff
+  set_ext -> set_eqI
 
 * Renamed class eq and constant eq (for code generation) to class equal
 and constant equal, plus renaming of related facts and various tuning.