src/HOL/Random.thy
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-06-15 haftmann 2009-06-15 where there is nothing, nothing can be hidden
2009-06-14 haftmann 2009-06-14 dropped select_default
2009-05-27 haftmann 2009-05-27 added lemma select_weight_cons_zero
2009-05-26 haftmann 2009-05-26 dropped superfluos prefixes
2009-05-19 haftmann 2009-05-19 String.literal replaces message_string, code_numeral replaces (code_)index
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