isabelle: File revisions

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	file \| diff \| annotate
Fri, 10 Dec 2010 11:42:04 +0100	bulwahn	removing unneccassary sort constraints	file \| diff \| annotate
Wed, 08 Dec 2010 18:07:03 +0100	bulwahn	adding a smarter enumeration scheme for finite functions	file \| diff \| annotate
Fri, 03 Dec 2010 08:40:47 +0100	bulwahn	declaring quickcheck testers as default after their setup	file \| diff \| annotate
Fri, 03 Dec 2010 08:40:47 +0100	bulwahn	activating construction of exhaustive testing combinators	file \| diff \| annotate
Fri, 03 Dec 2010 08:40:46 +0100	bulwahn	improving readability of Smallcheck theory; adding constant orelse to improve performance of the function package	file \| diff \| annotate
Mon, 22 Nov 2010 10:41:58 +0100	bulwahn	adding function generation to SmallCheck; activating exhaustive search space testing	file \| diff \| annotate
Wed, 17 Nov 2010 11:39:44 -0800	huffman	section -> subsection	file \| diff \| annotate
Mon, 08 Nov 2010 09:25:43 +0100	bulwahn	adding code and theory for smallvalue generators, but do not setup the interpretation yet	file \| diff \| annotate

isabelle