src/HOL/Random.thy
changeset 35898 c890a3835d15
parent 35266 07a56610c00b
child 36020 3ee4c29ead7f