# HG changeset patch
# User wenzelm
# Date 1015358095 -3600
# Node ID 433c57d09d53a05d5182a110e5012ae0f5239523
# Parent  0461b281c2b5e51d400a26120dd3d9653f1839cd
tuned;

diff -r 0461b281c2b5 -r 433c57d09d53 NEWS
--- 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 ***