isabelle: Changelog

wenzelm [Thu, 19 Jan 2006 21:22:19 +0100] rev 18714

Syntax.basic_syn;

wenzelm [Thu, 19 Jan 2006 21:22:18 +0100] rev 18713

setup: theory -> theory; added syntax (from Syntax/mixfix.ML); added HTML output syntax for _lambda;

wenzelm [Thu, 19 Jan 2006 21:22:17 +0100] rev 18712

tuned setmp;

wenzelm [Thu, 19 Jan 2006 21:22:16 +0100] rev 18711

setup: theory -> theory; use_output: Output.ML_errors;

wenzelm [Thu, 19 Jan 2006 21:22:15 +0100] rev 18710

tuned comments;

wenzelm [Thu, 19 Jan 2006 21:22:14 +0100] rev 18709

setup: theory -> theory; Syntax.appl(C)_syntax;

wenzelm [Thu, 19 Jan 2006 21:22:08 +0100] rev 18708

setup: theory -> theory;

berghofe [Thu, 19 Jan 2006 15:45:10 +0100] rev 18707

Use generic Simplifier.simp_add attribute instead of Simplifier.simp_add_global.

berghofe [Thu, 19 Jan 2006 14:59:55 +0100] rev 18706

Re-inserted consts_code declaration accidentally deleted during last commit.

paulson [Thu, 19 Jan 2006 10:22:13 +0100] rev 18705

strengthened some lemmas; simplified some proofs

isabelle