(* Title: HOL/Probability/Probability.thy Author: Johannes Hölzl, TU München *) theory Probability imports Discrete_Topology SPMF PMF_Impl Stream_Space Random_Permutations Central_Limit_Theorem begin end