src/HOL/Quickcheck.thy
Fri, 10 Jul 2009 07:59:25 +0200 haftmann tuned quickcheck generator for bool
Mon, 15 Jun 2009 16:13:03 +0200 haftmann hide constant Quickcheck.random
Sat, 13 Jun 2009 09:16:24 +0200 haftmann more convenient signature for random_fun_lift
Wed, 10 Jun 2009 16:10:30 +0200 haftmann tuned order
Wed, 10 Jun 2009 15:04:32 +0200 haftmann revised interpretation combinator for datatype constructions
Mon, 08 Jun 2009 08:38:51 +0200 haftmann added generator for char and trivial generator for String.literal
Wed, 27 May 2009 22:11:05 +0200 haftmann added lemma beyond_zero; hide constants
Tue, 26 May 2009 17:29:32 +0200 haftmann separate module for quickcheck generators
Sun, 24 May 2009 15:02:21 +0200 haftmann merged
Thu, 21 May 2009 09:07:25 +0200 haftmann re-added corrected version of type copy quickcheck generator
Wed, 20 May 2009 12:10:22 +0200 haftmann removed quickcheck generator for type copies temporarily
Wed, 20 May 2009 10:37:37 +0200 haftmann added generator for type copies (records)
Tue, 19 May 2009 16:54:55 +0200 haftmann String.literal replaces message_string, code_numeral replaces (code_)index
Tue, 19 May 2009 13:57:32 +0200 haftmann moved Code_Index, Random and Quickcheck before Main
Mon, 18 May 2009 15:45:38 +0200 haftmann added quickcheck support for numeric types
Sat, 16 May 2009 20:16:49 +0200 haftmann experimental move of Quickcheck and related theories to HOL image
less more (0) tip