Up to index of Isabelle/HOL/HOL-Probability
theory Probabilityimports Information "ex/Dining_Cryptographers"beginend