# HG changeset patch
# User paulson
# Date 1011200002 -3600
# Node ID 70b2651af635946a75ef6865e503bc933f0143ee
# Parent  249600a63ba9b78ac6e7235eb344d8033ff2057a
Isar version of ZF/AC

diff -r 249600a63ba9 -r 70b2651af635 NEWS
--- a/NEWS	Wed Jan 16 17:52:06 2002 +0100
+++ b/NEWS	Wed Jan 16 17:53:22 2002 +0100
@@ -291,7 +291,7 @@
 * ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a
 typeless version of the formalism;
 
-* ZF/IMP: updated and converted to new-style theory format;
+* ZF/AC, Coind, IMP, Resid: updated and converted to new-style theory format;
 
 * ZF/Induct: new directory for examples of inductive definitions,
 including theory Multiset for multiset orderings; converted to