clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
(* Title: HOL/Probability/Probability.thy
Author: Johannes Hölzl, TU München
*)
theory Probability
imports
Discrete_Topology
Complete_Measure
Projective_Limit
Independent_Family
Distributions
Probability_Mass_Function
Stream_Space
Embed_Measure
Interval_Integral
Set_Integral
Giry_Monad
begin
end