isabelle: Changelog

wenzelm [Tue, 21 Jun 2016 15:10:43 +0200] rev 63338

merged

wenzelm [Tue, 21 Jun 2016 14:42:47 +0200] rev 63337

position information for literal facts; Markup.entry may have empty kind/name;

wenzelm [Tue, 21 Jun 2016 11:03:24 +0200] rev 63336

tuned;

wenzelm [Tue, 21 Jun 2016 10:41:29 +0200] rev 63335

tuned;

hoelzl [Tue, 21 Jun 2016 12:10:44 +0200] rev 63334

Multivariate_Analysis: add continuous_on_vec_lambda

hoelzl [Thu, 16 Jun 2016 23:03:27 +0200] rev 63333

Probability: show that measures form a complete lattice

hoelzl [Wed, 15 Jun 2016 22:19:03 +0200] rev 63332

move open_Collect_eq/less to HOL

hoelzl [Fri, 17 Jun 2016 09:44:16 +0200] rev 63331

move Conditional_Complete_Lattices to Main

hoelzl [Wed, 15 Jun 2016 15:55:02 +0200] rev 63330

Probability: introduce Hahn decomposition; use it to clean up Radon_Nikodym

hoelzl [Tue, 14 Jun 2016 12:18:45 +0200] rev 63329

Probability: tuned headers; cleanup Radon_Nikodym

isabelle