ZF/Induct,UNITY
authorpaulson
Mon Nov 12 12:38:40 2001 +0100 (2001-11-12)
changeset 12159b3a708ddedf8
parent 12158 f60fe41e96e9
child 12160 a5cf3ea0685d
ZF/Induct,UNITY
NEWS
     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