ANNOUNCE

--- a/ANNOUNCE	Mon Apr 19 00:45:50 2004 +0200
+++ b/ANNOUNCE	Mon Apr 19 08:20:52 2004 +0200
@@ -8,6 +8,9 @@
 (see the NEWS of the distribution for more details):
 
 
+* New image HOL4 with imported library from HOL4 system on top of
+  HOL-Complex (about 2500 additional theorems). 
+
 * New theory Ring_and_Field with over 250 basic numerical laws, 
   all proved in axiomatic type classes for semirings, rings and fields.