isabelle: Changelog

nipkow [Sat, 31 Dec 2011 17:53:50 +0100] rev 46063

tuned types

krauss [Sat, 31 Dec 2011 10:15:53 +0100] rev 46062

disabled failing sledgehammer unit test (collateral damage of 184d36538e51)

krauss [Sat, 31 Dec 2011 00:19:32 +0100] rev 46061

disabled kodkodi in mira runs as well (cf. 493d9c4d7ed5)

berghofe [Fri, 30 Dec 2011 18:14:56 +0100] rev 46060

merged

berghofe [Fri, 30 Dec 2011 18:12:00 +0100] rev 46059

Made gen_dest_case more robust against eta contraction

wenzelm [Fri, 30 Dec 2011 17:45:13 +0100] rev 46058

merged

huffman [Fri, 30 Dec 2011 11:11:57 +0100] rev 46057

remove unnecessary intermediate lemmas

wenzelm [Fri, 30 Dec 2011 17:40:30 +0100] rev 46056

tuned;

wenzelm [Fri, 30 Dec 2011 16:43:46 +0100] rev 46055

eliminated old-fashioned Global_Theory.add_thms;

wenzelm [Fri, 30 Dec 2011 15:43:07 +0100] rev 46054

simplified proof -- avoid res_inst_tac, afford plain asm_full_simp_tac;

isabelle