src/HOL/Smallcheck.thy
Fri, 10 Dec 2010 11:42:05 +0100 bulwahn adding check_all instances for a few more finite types in smallcheck
Fri, 10 Dec 2010 11:42:04 +0100 bulwahn removing unneccassary sort constraints
Wed, 08 Dec 2010 18:07:03 +0100 bulwahn adding a smarter enumeration scheme for finite functions
Fri, 03 Dec 2010 08:40:47 +0100 bulwahn declaring quickcheck testers as default after their setup
Fri, 03 Dec 2010 08:40:47 +0100 bulwahn activating construction of exhaustive testing combinators
Fri, 03 Dec 2010 08:40:46 +0100 bulwahn improving readability of Smallcheck theory; adding constant orelse to improve performance of the function package
Mon, 22 Nov 2010 10:41:58 +0100 bulwahn adding function generation to SmallCheck; activating exhaustive search space testing
Wed, 17 Nov 2010 11:39:44 -0800 huffman section -> subsection
Mon, 08 Nov 2010 09:25:43 +0100 bulwahn adding code and theory for smallvalue generators, but do not setup the interpretation yet
less more (0) tip