tuned signature -- avoid intrusion of slightly odd Swing structures into pure Markup_Tree;
theory Probabilityimports Discrete_Topology Complete_Measure Probability_Measure Infinite_Product_Measure Projective_Limit Independent_Family Information Distributionsbeginend