--- a/NEWS Tue Mar 05 18:55:46 2002 +0100
+++ b/NEWS Tue Mar 05 20:54:55 2002 +0100
@@ -330,13 +330,14 @@
* ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a
typeless version of the formalism;
-* ZF/AC, Coind, IMP, Resid: 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
new-style theory format;
-* Many new theorems about lists, ordinals, etc.;
+* ZF: many new theorems about lists, ordinals, etc.;
*** General ***