infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names
theory Probability
imports
Complete_Measure
Probability_Measure
Infinite_Product_Measure
Independent_Family
Conditional_Probability
Information
"ex/Dining_Cryptographers"
"ex/Koepf_Duermuth_Countermeasure"
begin
end