Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
* set HOL_quantifiers by default, i.e. quantifiers are printed as
authornipkow
Wed, 11 Aug 1999 13:13:58 +0200
changeset 7203 36990a7c7c72
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 file | annotate | diff | comparison | revisions 
--- 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
isabelle