src/HOL/Random.thy
changeset 62378 85ed00c1fe7c
parent 61799 4cf66f21b764
child 62608 19f87fa0cfcb