--- 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 ***