--- 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