Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | moving exhaustive_generators.ML to Quickcheck directory | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | replacing naming of small by exhaustive | file | diff | annotate |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming constants in Quickcheck_Exhaustive theory | file | diff | annotate |
Fri, 11 Mar 2011 15:21:12 +0100 | bulwahn | renaming Smallcheck to Quickcheck_Exhaustive | file | diff | annotate | base |