1.1 --- a/NEWS	Thu Jan 24 22:44:10 2002 +0100
     1.2 +++ b/NEWS	Fri Jan 25 15:42:59 2002 +0100
     1.3 @@ -300,6 +300,8 @@
     1.4  including theory Multiset for multiset orderings; converted to
     1.5  new-style theory format;
     1.6  
     1.7 +* Many new theorems about lists, ordinals, etc.;
     1.8 +
     1.9  
    1.10  *** General ***
    1.11