isabelle: Changelog

berghofe [Fri, 20 Mar 2009 10:44:25 +0100] rev 30605

merged

berghofe [Fri, 20 Mar 2009 10:43:53 +0100] rev 30604

split_codegen now eta-expands terms on-the-fly.

wenzelm [Fri, 20 Mar 2009 11:26:25 +0100] rev 30603

proper context for prove_cont/adm_tac;

wenzelm [Fri, 20 Mar 2009 11:08:59 +0100] rev 30602

with_attributes: canonical capture/release scheme (potentially iron out race condition);

wenzelm [Fri, 20 Mar 2009 09:52:32 +0100] rev 30601

considerable speedup of benchmarks by using minimal simpset;

wenzelm [Fri, 20 Mar 2009 09:51:41 +0100] rev 30600

allow non-printable symbols within string tokens;

wenzelm [Thu, 19 Mar 2009 22:05:37 +0100] rev 30599

merged

huffman [Thu, 19 Mar 2009 08:13:10 -0700] rev 30598

add lemma det_diagonal; remove wellorder requirement on several lemmas

haftmann [Thu, 19 Mar 2009 14:08:55 +0100] rev 30597

merged

haftmann [Thu, 19 Mar 2009 14:08:41 +0100] rev 30596

tuned some theorem and attribute bindings

isabelle