src/HOL/Tools/smallvalue_generators.ML
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