src/HOL/Quickcheck_Random.thy
changeset 58410 6d46ad54a2ab
parent 58389 ee1f45ca0d73
child 58826 2ed2eaabe3df