src/HOL/HOL.thy
changeset 6795 35f214e73668
parent 6340 7d5cbd5819a0
child 7127 48e235179ffb
     1.1 --- a/src/HOL/HOL.thy	Mon Jun 07 19:25:12 1999 +0200
     1.2 +++ b/src/HOL/HOL.thy	Mon Jun 07 21:22:18 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 true;
     1.8 +val HOL_quantifiers = ref false;
     1.9  
    1.10  fun alt_ast_tr' (name, alt_name) =
    1.11    let