# HG changeset patch
# User nipkow
# Date 934370071 -7200
# Node ID c19a275f5c31ffc5e250a867e8382e7baf0c3598
# Parent  36990a7c7c729386e43b8c6435404f02323a17af
Removed
* reset HOL_quantifiers by default, i.e. quantifiers are printed as
ALL/EX rather than !/?;

diff -r 36990a7c7c72 -r c19a275f5c31 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 ***