src/HOL/Random.thy
changeset 69260 0a9688695a1b
parent 68386 98cf1c823c48
child 72581 de581f98a3a1
equal deleted inserted replaced
69259:438e1a11445f 69260:0a9688695a1b