src/HOL/Tools/smallvalue_generators.ML
2010-12-03 bulwahn 2010-12-03 renamed generator into exhaustive
2010-12-03 bulwahn 2010-12-03 moving iteration of tests to the testers in quickcheck
2010-12-03 bulwahn 2010-12-03 adding smart quantifiers to exhaustive testing
2010-12-03 bulwahn 2010-12-03 smallvalue_generator are defined quick via oracle or sound via function package
2010-12-03 bulwahn 2010-12-03 improving readability of Smallcheck theory; adding constant orelse to improve performance of the function package
2010-12-01 wenzelm 2010-12-01 just one HOLogic.mk_comp;
2010-12-01 wenzelm 2010-12-01 just one Term.dest_funT;
2010-11-22 bulwahn 2010-11-22 changed old-style quickcheck configurations to new Config.T configurations
2010-11-22 bulwahn 2010-11-22 moving the error handling to the right scope in smallvalue_generators
2010-11-22 bulwahn 2010-11-22 removing clone from function package and using the clean interface from Function_Relation instead
2010-11-22 bulwahn 2010-11-22 adding function generation to SmallCheck; activating exhaustive search space testing
2010-11-08 bulwahn 2010-11-08 adding code and theory for smallvalue generators, but do not setup the interpretation yet