isabelle: Changelog

bulwahn [Wed, 14 Dec 2011 16:30:09 +0100] rev 45870

merged

bulwahn [Wed, 14 Dec 2011 15:56:37 +0100] rev 45869

adding map_entry to AList theory

bulwahn [Wed, 14 Dec 2011 15:56:34 +0100] rev 45868

adding map_default to AList theory

bulwahn [Wed, 14 Dec 2011 15:56:31 +0100] rev 45867

fixed typo in theorem name in AList theory

bulwahn [Wed, 14 Dec 2011 15:56:29 +0100] rev 45866

adding code attribute to enable evaluation of equality on multisets

wenzelm [Wed, 14 Dec 2011 15:50:15 +0100] rev 45865

merged

blanchet [Wed, 14 Dec 2011 15:05:22 +0100] rev 45864

updated Sledgehammer/SMT docs

wenzelm [Wed, 14 Dec 2011 15:30:17 +0100] rev 45863

tuned signature;

wenzelm [Wed, 14 Dec 2011 12:18:19 +0100] rev 45862

eliminated dead code;

wenzelm [Wed, 14 Dec 2011 12:10:44 +0100] rev 45861

some full isatest runs, which include benchmark targets;

isabelle