NEWS

--- a/NEWS	Thu Jan 24 23:51:22 2008 +0100
+++ b/NEWS	Fri Jan 25 14:53:52 2008 +0100
@@ -25,6 +25,8 @@
 
 *** HOL ***
 
+* Theorems "power.simps" renamed to "power_int.simps".
+
 * New class semiring_div provides basic abstract properties of semirings
 with division and modulo operations.  Subsumes former class dvd_mod.