src/HOL/Random_Sequence.thy
changeset 51526 155263089e7b
parent 51143 0a2371e7ced3
child 58889 5b7a9633cfa8