2012-02-17 wenzelm [Fri, 17 Feb 2012 15:42:26 +0100] rev 46512
simplified configuration options for syntax ambiguity;
NEWS doc-src/IsarRef/Thy/Inner_Syntax.thy doc-src/IsarRef/Thy/document/Inner_Syntax.tex src/HOL/MicroJava/J/JListExample.thy src/HOL/Proofs/Lambda/Commutation.thy src/HOL/Proofs/Lambda/Lambda.thy src/HOL/Proofs/Lambda/ListOrder.thy src/Pure/Isar/attrib.ML src/Pure/Syntax/syntax.ML src/Pure/Syntax/syntax_phases.ML

2012-02-17 wenzelm [Fri, 17 Feb 2012 11:24:39 +0100] rev 46511
retain default of Syntax.ambiguity, according to 2bd54d4b5f3d (despite earlier versions);
src/HOL/Import/proof_kernel.ML

2012-02-16 wenzelm [Thu, 16 Feb 2012 23:07:01 +0100] rev 46510
more antiquotations;
src/HOL/Library/Reflection.thy src/HOL/Library/reflection.ML

2012-02-16 wenzelm [Thu, 16 Feb 2012 22:54:40 +0100] rev 46509
more symbols;
misc tuning;
src/HOL/Library/Glbs.thy src/HOL/Lubs.thy

2012-02-16 wenzelm [Thu, 16 Feb 2012 22:53:56 +0100] rev 46508
tuned imports;
src/HOL/Library/Continuity.thy

2012-02-16 wenzelm [Thu, 16 Feb 2012 22:53:24 +0100] rev 46507
tuned proofs;
src/HOL/Library/AList.thy src/HOL/Library/Binomial.thy src/HOL/Library/DAList.thy

2012-02-16 wenzelm [Thu, 16 Feb 2012 22:18:28 +0100] rev 46506
simplified configuration options for syntax ambiguity;
NEWS doc-src/IsarRef/Thy/Inner_Syntax.thy doc-src/IsarRef/Thy/document/Inner_Syntax.tex src/HOL/Import/proof_kernel.ML src/HOL/MicroJava/J/JListExample.thy src/HOL/Proofs/Lambda/Commutation.thy src/HOL/Proofs/Lambda/Lambda.thy src/HOL/Proofs/Lambda/ListOrder.thy src/Pure/Isar/attrib.ML src/Pure/Syntax/syntax.ML src/Pure/Syntax/syntax_phases.ML

2012-02-16 wenzelm [Thu, 16 Feb 2012 17:09:15 +0100] rev 46505
merged

2012-02-16 bulwahn [Thu, 16 Feb 2012 16:02:02 +0100] rev 46504
removing unnecessary premise from diff_single_insert
src/HOL/Set.thy

2012-02-16 wenzelm [Thu, 16 Feb 2012 16:42:26 +0100] rev 46503
explicit is better than implicit;
src/HOL/Tools/Meson/meson.ML