NEWS

--- a/NEWS	Wed Jan 16 17:52:06 2002 +0100
+++ b/NEWS	Wed Jan 16 17:53:22 2002 +0100
@@ -291,7 +291,7 @@
 * ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a
 typeless version of the formalism;
 
-* ZF/IMP: updated and converted to new-style theory format;
+* ZF/AC, Coind, IMP, Resid: updated and converted to new-style theory format;
 
 * ZF/Induct: new directory for examples of inductive definitions,
 including theory Multiset for multiset orderings; converted to