isabelle: Changelog

haftmann [Fri, 14 Oct 2011 18:55:59 +0200] rev 45144

moved sublists to More_List.thy

haftmann [Fri, 14 Oct 2011 18:55:29 +0200] rev 45143

NEWS

wenzelm [Fri, 14 Oct 2011 11:34:30 +0200] rev 45142

more complete stats, including small sessions which provide some clues on main HOL baseline performance;

haftmann [Thu, 13 Oct 2011 23:35:15 +0200] rev 45141

avoid very specific code equation for card; corrected spelling

haftmann [Thu, 13 Oct 2011 23:27:46 +0200] rev 45140

bouned transitive closure

haftmann [Thu, 13 Oct 2011 23:02:59 +0200] rev 45139

moved acyclic predicate up in hierarchy

haftmann [Thu, 13 Oct 2011 22:56:19 +0200] rev 45138

tuned

haftmann [Thu, 13 Oct 2011 22:56:19 +0200] rev 45137

modernized definitions

wenzelm [Thu, 13 Oct 2011 22:50:35 +0200] rev 45136

static dummy_task (again) to avoid a few extra allocations;

noschinl [Thu, 13 Oct 2011 13:49:55 +0200] rev 45135

tuned markup

isabelle