NEWS

--- a/NEWS	Tue Sep 07 10:05:19 2010 +0200
+++ b/NEWS	Tue Sep 07 12:04:18 2010 +0200
@@ -68,6 +68,8 @@
 
 *** HOL ***
 
+* Renamed lemmas: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff
+
 * Renamed class eq and constant eq (for code generation) to class equal
 and constant equal, plus renaming of related facts and various tuning.
 INCOMPATIBILITY.