# HG changeset patch
# User paulson
# Date 1008860249 -3600
# Node ID 3813bcab493d1d584a59a585c4ceee22c9cec389
# Parent  323ce5a8969519bf04fc37d0de2e344f95c62463
ZF/Main

diff -r 323ce5a89695 -r 3813bcab493d NEWS
--- 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;