isabelle: Changelog

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;

wenzelm [Wed, 14 Dec 2011 12:02:02 +0100] rev 45860

more visible benchmarks; uniform IsaMakefile target "full" to cover such extra sessions;

blanchet [Wed, 14 Dec 2011 10:18:28 +0100] rev 45859

fixed Nitpick definition of "<" on "real"s

huffman [Wed, 14 Dec 2011 08:32:48 +0100] rev 45858

replace 'lemmas' with 'lemma'

huffman [Wed, 14 Dec 2011 07:38:30 +0100] rev 45857

merged

huffman [Tue, 13 Dec 2011 18:33:04 +0100] rev 45856

more simp rules for sbintrunc

isabelle