src/HOL/HOL.thy
changeset 6795 35f214e73668
parent 6340 7d5cbd5819a0
child 7127 48e235179ffb
--- a/src/HOL/HOL.thy	Mon Jun 07 19:25:12 1999 +0200
+++ b/src/HOL/HOL.thy	Mon Jun 07 21:22:18 1999 +0200
@@ -212,7 +212,7 @@
 
 (** Choice between the HOL and Isabelle style of quantifiers **)
 
-val HOL_quantifiers = ref true;
+val HOL_quantifiers = ref false;
 
 fun alt_ast_tr' (name, alt_name) =
   let