isabelle: Changelog

nipkow [Thu, 29 Dec 2011 17:43:40 +0100] rev 46039

tuned

haftmann [Thu, 29 Dec 2011 15:14:44 +0100] rev 46038

conversions from sets to predicates and vice versa; extensionality on predicates

haftmann [Thu, 29 Dec 2011 15:14:44 +0100] rev 46037

added implementation of pred_of_set

haftmann [Thu, 29 Dec 2011 14:23:40 +0100] rev 46036

fundamental theorems on Set.bind

wenzelm [Thu, 29 Dec 2011 14:44:44 +0100] rev 46035

updated generated files;

haftmann [Thu, 29 Dec 2011 13:42:21 +0100] rev 46034

qualified Finite_Set.fold

haftmann [Thu, 29 Dec 2011 13:41:41 +0100] rev 46033

qualified Finite_Set.fold

haftmann [Thu, 29 Dec 2011 10:47:56 +0100] rev 46032

dropped redundant setup

haftmann [Thu, 29 Dec 2011 10:47:56 +0100] rev 46031

tuned declaration

haftmann [Thu, 29 Dec 2011 10:47:55 +0100] rev 46030

attribute code_abbrev superseedes code_unfold_post; tuned text

isabelle