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

diff -r 6fcaf006cc40 -r 36990a7c7c72 src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Mon Aug 09 22:25:27 1999 +0200
+++ b/src/HOL/HOL.thy	Wed Aug 11 13:13:58 1999 +0200
@@ -212,7 +212,7 @@
 
 (** Choice between the HOL and Isabelle style of quantifiers **)
 
-val HOL_quantifiers = ref false;
+val HOL_quantifiers = ref true;
 
 fun alt_ast_tr' (name, alt_name) =
   let