ZF
authorpaulson
Fri Jan 25 15:42:59 2002 +0100 (2002-01-25)
changeset 12850d3c16021e999
parent 12849 b5824b740d05
child 12851 e87496286934
ZF
NEWS
     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