src/HOL/Random.thy
changeset 66787 64b47495676d
parent 63882 018998c00003
child 68249 949d93804740