products/sources/formale Sprachen/Isabelle/HOL/Probability/ex/  image not shown