isabelle: File revisions

src/HOL/Probability/Fin_Map.thy

Wed, 28 Nov 2012 15:38:12 +0100	wenzelm	tuned syntax, potentially more robust;	file \| diff \| annotate
Tue, 27 Nov 2012 13:48:40 +0100	immler	based countable topological basis on Countable_Set	file \| diff \| annotate
Tue, 27 Nov 2012 11:29:47 +0100	immler	qualified interpretation of sigma_algebra, to avoid name clashes	file \| diff \| annotate
Mon, 19 Nov 2012 16:09:11 +0100	hoelzl	tuned FinMap	file \| diff \| annotate
Mon, 19 Nov 2012 12:29:02 +0100	hoelzl	merge extensional dependent function space from FuncSet with the one in Finite_Product_Measure	file \| diff \| annotate
Fri, 16 Nov 2012 14:46:23 +0100	hoelzl	renamed measurable_compose -> measurable_finmap_compose, clashed with Sigma_Algebra.measurable_compose	file \| diff \| annotate
Fri, 16 Nov 2012 11:22:22 +0100	immler	allow arbitrary enumerations of basis in locale for generation of borel sets	file \| diff \| annotate
Thu, 15 Nov 2012 17:36:08 +0100	immler	corrected headers	file \| diff \| annotate
Thu, 15 Nov 2012 11:16:58 +0100	immler	added projective limit;	file \| diff \| annotate

isabelle