src/HOL/Random.thy
2009-05-19 haftmann 2009-05-19 moved Code_Index, Random and Quickcheck before Main
2009-05-18 haftmann 2009-05-18 hide fact log_def -- should not shadow regular log definition
2009-05-16 haftmann 2009-05-16 experimental move of Quickcheck and related theories to HOL image