src/HOL/Random.thy
changeset 65554 a04afc400156
parent 63882 018998c00003
child 68249 949d93804740
equal deleted inserted replaced
65553:006a274cdbc2 65554:a04afc400156