isabelle: Changelog

wenzelm [Sat, 15 Jan 2011 18:12:26 +0100] rev 41579

type_synonym;

wenzelm [Sat, 15 Jan 2011 17:32:07 +0100] rev 41578

recovered printing of record updates over compound terms, e.g. "(|x = a|)(|x := b|)", which was apparently broken in 45a2ffc5911e; tuned;

wenzelm [Sat, 15 Jan 2011 16:49:10 +0100] rev 41577

export Record.get_hierarchy -- external tools typically need this information;

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

isabelle