author | paulson |
Thu, 20 Dec 2001 15:57:29 +0100 | |
changeset 12563 | 3813bcab493d |
parent 12562 | 323ce5a89695 |
child 12564 | 226873bffa3a |
--- a/NEWS Thu Dec 20 15:23:42 2001 +0100 +++ b/NEWS Thu Dec 20 15:57:29 2001 +0100 @@ -251,6 +251,9 @@ *** ZF *** +* Theory Main no longer includes AC; for the Axiom of Choice, base your +theory on Main_ZFC; + * ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a typeless version of the formalism;