| Wed, 20 May 2009 12:10:22 +0200 | haftmann | removed quickcheck generator for type copies temporarily | file | diff | annotate |
| Wed, 20 May 2009 10:37:37 +0200 | haftmann | added generator for type copies (records) | file | diff | annotate |
| Tue, 19 May 2009 16:54:55 +0200 | haftmann | String.literal replaces message_string, code_numeral replaces (code_)index | file | diff | annotate |
| Tue, 19 May 2009 13:57:32 +0200 | haftmann | moved Code_Index, Random and Quickcheck before Main | file | diff | annotate |
| Mon, 18 May 2009 15:45:38 +0200 | haftmann | added quickcheck support for numeric types | file | diff | annotate |
| Sat, 16 May 2009 20:16:49 +0200 | haftmann | experimental move of Quickcheck and related theories to HOL image | file | diff | annotate | base |