src/HOL/Tools/smallvalue_generators.ML
Fri, 03 Dec 2010 08:40:46 +0100 bulwahn smallvalue_generator are defined quick via oracle or sound via function package
Fri, 03 Dec 2010 08:40:46 +0100 bulwahn improving readability of Smallcheck theory; adding constant orelse to improve performance of the function package
Wed, 01 Dec 2010 15:35:40 +0100 wenzelm just one HOLogic.mk_comp;
Wed, 01 Dec 2010 13:09:08 +0100 wenzelm just one Term.dest_funT;
Mon, 22 Nov 2010 10:42:07 +0100 bulwahn changed old-style quickcheck configurations to new Config.T configurations
Mon, 22 Nov 2010 10:42:03 +0100 bulwahn moving the error handling to the right scope in smallvalue_generators
Mon, 22 Nov 2010 10:42:01 +0100 bulwahn removing clone from function package and using the clean interface from Function_Relation instead
Mon, 22 Nov 2010 10:41:58 +0100 bulwahn adding function generation to SmallCheck; activating exhaustive search space testing
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