src/HOL/Smallcheck.thy
2010-12-15 bulwahn 2010-12-15 adding postprocessing for maps in term construction of quickcheck; fixed check_all_option definition
2010-12-15 bulwahn 2010-12-15 added enum_term_of to correct present nested functions
2010-12-10 bulwahn 2010-12-10 adding check_all instances for a few more finite types in smallcheck
2010-12-10 bulwahn 2010-12-10 removing unneccassary sort constraints
2010-12-08 bulwahn 2010-12-08 adding a smarter enumeration scheme for finite functions
2010-12-03 bulwahn 2010-12-03 declaring quickcheck testers as default after their setup
2010-12-03 bulwahn 2010-12-03 activating construction of exhaustive testing combinators
2010-12-03 bulwahn 2010-12-03 improving readability of Smallcheck theory; adding constant orelse to improve performance of the function package
2010-11-22 bulwahn 2010-11-22 adding function generation to SmallCheck; activating exhaustive search space testing
2010-11-17 huffman 2010-11-17 section -> subsection
2010-11-08 bulwahn 2010-11-08 adding code and theory for smallvalue generators, but do not setup the interpretation yet