src/HOL/Random.thy
changeset 66831 29ea2b900a05
parent 63882 018998c00003
child 68249 949d93804740