tuned priority (like other query operations, e.g. "find_theorems");
(* 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