src/HOL/Quickcheck.thy
2009-05-21 haftmann 2009-05-21 re-added corrected version of type copy quickcheck generator
2009-05-20 haftmann 2009-05-20 removed quickcheck generator for type copies temporarily
2009-05-20 haftmann 2009-05-20 added generator for type copies (records)
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 added quickcheck support for numeric types
2009-05-16 haftmann 2009-05-16 experimental move of Quickcheck and related theories to HOL image