NEWS

--- a/NEWS	Tue Jul 01 07:13:45 2008 +0200
+++ b/NEWS	Tue Jul 01 07:58:17 2008 +0200
@@ -28,6 +28,8 @@
 
 *** HOL ***
 
+* Integrated image HOL-Complex with HOL.
+
 * Methods "case_tac" and "induct_tac" now refer to the very same rules
 as the structured Isar versions "cases" and "induct", cf. the
 corresponding "cases" and "induct" attributes.  Mutual induction rules