* set HOL_quantifiers by default, i.e. quantifiers are printed as
authornipkow
Wed Aug 11 13:13:58 1999 +0200 (1999-08-11)
changeset 720336990a7c7c72
parent 7202 6fcaf006cc40
child 7204 c19a275f5c31
* set HOL_quantifiers by default, i.e. quantifiers are printed as
!/? rather than ALL/EX;
src/HOL/HOL.thy
     1.1 --- a/src/HOL/HOL.thy	Mon Aug 09 22:25:27 1999 +0200
     1.2 +++ b/src/HOL/HOL.thy	Wed Aug 11 13:13:58 1999 +0200
     1.3 @@ -212,7 +212,7 @@
     1.4  
     1.5  (** Choice between the HOL and Isabelle style of quantifiers **)
     1.6  
     1.7 -val HOL_quantifiers = ref false;
     1.8 +val HOL_quantifiers = ref true;
     1.9  
    1.10  fun alt_ast_tr' (name, alt_name) =
    1.11    let