NEWS

--- a/NEWS	Wed Aug 11 13:13:58 1999 +0200
+++ b/NEWS	Wed Aug 11 13:14:31 1999 +0200
@@ -139,9 +139,6 @@
 * HOL/recdef (TFL): requires theory Recdef; 'congs' syntax now expects
 comma separated list of theorem names rather than an ML expression;
 
-* reset HOL_quantifiers by default, i.e. quantifiers are printed as
-ALL/EX rather than !/?;
-
 
 *** LK ***