Mon, 22 Nov 2010 10:42:01 +0100 | bulwahn | removing clone from function package and using the clean interface from Function_Relation instead | changeset | files |
Mon, 22 Nov 2010 10:41:58 +0100 | bulwahn | adding function generation to SmallCheck; activating exhaustive search space testing | changeset | files |
Mon, 22 Nov 2010 10:41:57 +0100 | bulwahn | adding dummy definition for Code_Evaluation.Abs and hiding constants App less strict | changeset | files |