isabelle: Changelog

huffman [Mon, 14 Nov 2011 09:49:05 +0100] rev 45498

avoid numeral-representation-specific rules in metis proof

wenzelm [Mon, 14 Nov 2011 23:13:23 +0100] rev 45497

merged

hoelzl [Mon, 14 Nov 2011 21:11:31 +0100] rev 45496

remove sorry, otherwise it breaks the testboard

hoelzl [Mon, 14 Nov 2011 18:36:31 +0100] rev 45495

cleaned up float theories; removed duplicate definitions and theorems

hoelzl [Mon, 14 Nov 2011 12:28:34 +0100] rev 45494

enforce quick_and_dirty in Code_Real_Approx_By_Float

wenzelm [Mon, 14 Nov 2011 23:00:56 +0100] rev 45493

some support for partial evaluation of attributed facts;

wenzelm [Mon, 14 Nov 2011 20:25:22 +0100] rev 45492

tuned;

wenzelm [Mon, 14 Nov 2011 19:27:42 +0100] rev 45491

eliminated dead code;

wenzelm [Mon, 14 Nov 2011 17:48:26 +0100] rev 45490

inner syntax positions for string literals;

wenzelm [Mon, 14 Nov 2011 17:47:59 +0100] rev 45489

less confusion subexpression markup;

isabelle