src/HOL/Random.thy
changeset 35115 446c5063e4fd
parent 33236 ea75c6ea643e
child 35266 07a56610c00b