added "SMT." qualifier for constant to make it possible to reload "smt_monomorph.ML" from outside the "SMT" theory (for experiments) -- this is also consistent with the other SMT constants mentioned in this source file
theory Probability
imports
Complete_Measure
Lebesgue_Measure
Probability_Measure
Infinite_Product_Measure
Information
"ex/Dining_Cryptographers"
"ex/Koepf_Duermuth_Countermeasure"
begin
end