ZF/Main
authorpaulson
Thu Dec 20 15:57:29 2001 +0100 (2001-12-20)
changeset 125633813bcab493d
parent 12562 323ce5a89695
child 12564 226873bffa3a
ZF/Main
NEWS
     1.1 --- a/NEWS	Thu Dec 20 15:23:42 2001 +0100
     1.2 +++ b/NEWS	Thu Dec 20 15:57:29 2001 +0100
     1.3 @@ -251,6 +251,9 @@
     1.4  
     1.5  *** ZF ***
     1.6  
     1.7 +* Theory Main no longer includes AC; for the Axiom of Choice, base your 
     1.8 +theory on Main_ZFC;
     1.9 +
    1.10  * ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a
    1.11  typeless version of the formalism;
    1.12