NEWS
changeset 12777 70b2651af635
parent 12769 0f70bfe510ee
child 12832 c31b44286a8a
     1.1 --- a/NEWS	Wed Jan 16 17:52:06 2002 +0100
     1.2 +++ b/NEWS	Wed Jan 16 17:53:22 2002 +0100
     1.3 @@ -291,7 +291,7 @@
     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/IMP: updated and converted to new-style theory format;
     1.8 +* ZF/AC, Coind, IMP, Resid: updated and converted to new-style theory format;
     1.9  
    1.10  * ZF/Induct: new directory for examples of inductive definitions,
    1.11  including theory Multiset for multiset orderings; converted to