# HG changeset patch
# User paulson
# Date 1005565120 -3600
# Node ID b3a708ddedf870d42ee3afdeef10a0181c840c92
# Parent  f60fe41e96e960d1ea6dd215cf4622d51204fe5f
ZF/Induct,UNITY

diff -r f60fe41e96e9 -r b3a708ddedf8 NEWS
--- a/NEWS	Mon Nov 12 12:38:06 2001 +0100
+++ b/NEWS	Mon Nov 12 12:38:40 2001 +0100
@@ -195,6 +195,12 @@
 * ZF: the integer library now covers quotients and remainders, with
 many laws relating division to addition, multiplication, etc.;
 
+* ZF/Induct: new directory for examples of inductive definitions, including theory
+Multiset for multiset orderings;
+
+* ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a typeless
+version of the formalism;
+
 
 *** General ***