clarified Java runtime options for 32 vs. 64 bit;
(* 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