experimenting with improving DOT output, and embedding LaTeX code for formulas (rather than only giving the clause number);
theory Probability
imports
Discrete_Topology
Complete_Measure
Probability_Measure
Infinite_Product_Measure
Projective_Limit
Independent_Family
Information
Distributions
begin
end