isabelle: Changelog

wenzelm [Sat, 15 Jan 2011 15:37:49 +0100] rev 41576

tuned;

wenzelm [Sat, 15 Jan 2011 15:29:17 +0100] rev 41575

removed unreferenced identifiers;

wenzelm [Sat, 15 Jan 2011 14:56:57 +0100] rev 41574

global "prems" is legacy feature;

wenzelm [Sat, 15 Jan 2011 14:19:37 +0100] rev 41573

misc updates for release;

wenzelm [Sat, 15 Jan 2011 14:02:24 +0100] rev 41572

merged;

wenzelm [Sat, 15 Jan 2011 13:34:10 +0100] rev 41571

misc tuning for release;

boehmes [Sat, 15 Jan 2011 13:48:45 +0100] rev 41570

normalize Z3 models: assignments to free variables should ideally not refer to other free variables

berghofe [Sat, 15 Jan 2011 13:41:58 +0100] rev 41569

Also added SPARK to test and clean targets.

berghofe [Sat, 15 Jan 2011 13:19:16 +0100] rev 41568

merged

berghofe [Sat, 15 Jan 2011 12:49:10 +0100] rev 41567

Added entry for HOL-SPARK

isabelle