#260 (Jun 21, 2016, 2:40:11 PM)

	Changes Multivariate_Analysis: add continuous_on_vec_lambda (detail / hgweb) Probability: show that measures form a complete lattice (detail / hgweb) move open_Collect_eq/less to HOL (detail / hgweb) move Conditional_Complete_Lattices to Main (detail / hgweb) Probability: introduce Hahn decomposition; use it to clean up Radon_Nikodym (detail / hgweb) Probability: tuned headers; cleanup Radon_Nikodym (detail / hgweb)
	Started by an SCM change
	Revision: bd37a72a940ada891eff07b3d07805886c6f1567
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #260	( 1 min 28 sec )	Console Output
isabelle-repo-makeall	build #260	( 1 hr 17 min )	Console Output