src/HOL/Quickcheck_Random.thy
changeset 58306 117ba6cbe414
parent 58152 6fe60a9a5bad
child 58389 ee1f45ca0d73