1.1 --- a/NEWS Mon Nov 12 12:38:06 2001 +0100
1.2 +++ b/NEWS Mon Nov 12 12:38:40 2001 +0100
1.3 @@ -195,6 +195,12 @@
1.4 * ZF: the integer library now covers quotients and remainders, with
1.5 many laws relating division to addition, multiplication, etc.;
1.6
1.7 +* ZF/Induct: new directory for examples of inductive definitions, including theory
1.8 +Multiset for multiset orderings;
1.9 +
1.10 +* ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a typeless
1.11 +version of the formalism;
1.12 +
1.13
1.14 *** General ***
1.15