isabelle: Changelog

wenzelm [Sat, 17 Nov 2012 19:46:32 +0100] rev 50108

method setup for Classical steps;

wenzelm [Sat, 17 Nov 2012 17:55:52 +0100] rev 50107

tuned signature;

wenzelm [Sat, 17 Nov 2012 17:42:19 +0100] rev 50106

updated keywords;

hoelzl [Fri, 16 Nov 2012 19:14:23 +0100] rev 50105

moved (b)choice_iff(') to Hilbert_Choice

hoelzl [Fri, 16 Nov 2012 18:45:57 +0100] rev 50104

move theorems to be more generally useable

wenzelm [Fri, 16 Nov 2012 18:49:46 +0100] rev 50103

merged

wenzelm [Fri, 16 Nov 2012 16:59:56 +0100] rev 50102

made SML/NJ happy;

hoelzl [Fri, 16 Nov 2012 14:46:23 +0100] rev 50101

renamed prob_space to proj_prob_space as it clashed with Probability_Measure.prob_space

hoelzl [Fri, 16 Nov 2012 14:46:23 +0100] rev 50100

renamed measurable_compose -> measurable_finmap_compose, clashed with Sigma_Algebra.measurable_compose

hoelzl [Fri, 16 Nov 2012 14:46:23 +0100] rev 50099

measurability for nat_case and comb_seq

isabelle