tuned;
authorwenzelm
Tue Mar 05 20:54:55 2002 +0100 (2002-03-05)
changeset 13025433c57d09d53
parent 13024 0461b281c2b5
child 13026 e45ebbb2e18e
tuned;
NEWS
     1.1 --- a/NEWS	Tue Mar 05 18:55:46 2002 +0100
     1.2 +++ b/NEWS	Tue Mar 05 20:54:55 2002 +0100
     1.3 @@ -330,13 +330,14 @@
     1.4  * ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a
     1.5  typeless version of the formalism;
     1.6  
     1.7 -* ZF/AC, Coind, IMP, Resid: updated and converted to new-style theory format;
     1.8 +* ZF/AC, Coind, IMP, Resid: updated and converted to new-style theory
     1.9 +format;
    1.10  
    1.11  * ZF/Induct: new directory for examples of inductive definitions,
    1.12  including theory Multiset for multiset orderings; converted to
    1.13  new-style theory format;
    1.14  
    1.15 -* Many new theorems about lists, ordinals, etc.;
    1.16 +* ZF: many new theorems about lists, ordinals, etc.;
    1.17  
    1.18  
    1.19  *** General ***