src/HOL/Random.thy
changeset 57874 9c361f94b323
parent 57242 25aff3b8d550
child 58101 e7ebe5554281