Isar version of ZF/AC
authorpaulson
Wed Jan 16 17:53:22 2002 +0100 (2002-01-16)
changeset 1277770b2651af635
parent 12776 249600a63ba9
child 12778 3120e338ffae
Isar version of ZF/AC
NEWS
     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