# HG changeset patch
# User paulson
# Date 1011969779 -3600
# Node ID d3c16021e9992619aa8eb79a15de7f992b3f14fc
# Parent  b5824b740d054ab6e228e10fcdb9cd1516faf9ff
ZF

diff -r b5824b740d05 -r d3c16021e999 NEWS
--- a/NEWS	Thu Jan 24 22:44:10 2002 +0100
+++ b/NEWS	Fri Jan 25 15:42:59 2002 +0100
@@ -300,6 +300,8 @@
 including theory Multiset for multiset orderings; converted to
 new-style theory format;
 
+* Many new theorems about lists, ordinals, etc.;
+
 
 *** General ***