isabelle: Changelog

bulwahn [Sat, 31 Oct 2009 10:02:37 +0100] rev 33376

predicate compiler creates code equations for predicates with full mode

bulwahn [Fri, 30 Oct 2009 09:55:15 +0100] rev 33375

renamed rpred to random

wenzelm [Sun, 01 Nov 2009 21:42:27 +0100] rev 33374

Rules that characterize functional/relational specifications.

wenzelm [Sun, 01 Nov 2009 20:59:34 +0100] rev 33373

adapted Item_Net; tuned;

wenzelm [Sun, 01 Nov 2009 20:55:39 +0100] rev 33372

allow multi-index; more scalable merge; renamed delete to remove, and insert to update (standard naming conventions); tuned;

wenzelm [Sun, 01 Nov 2009 20:55:14 +0100] rev 33371

added insert_safe, delete_safe variants;

wenzelm [Sun, 01 Nov 2009 16:23:31 +0100] rev 33370

tuned signature;

wenzelm [Sun, 01 Nov 2009 15:44:26 +0100] rev 33369

modernized structure Context_Rules;

wenzelm [Sun, 01 Nov 2009 15:24:45 +0100] rev 33368

modernized structure Rule_Cases;

haftmann [Fri, 30 Oct 2009 18:33:21 +0100] rev 33367

merged

isabelle