Thu, 09 Jun 2011 08:32:21 +0200 | bulwahn | removing unneccessary manual instantiations and dead definitions; hiding more constants and facts | file | diff | annotate |
Thu, 09 Jun 2011 08:32:19 +0200 | bulwahn | adding a nicer error message for quickcheck_narrowing; hiding fact empty_def | file | diff | annotate |
Thu, 09 Jun 2011 08:32:18 +0200 | bulwahn | adapting Quickcheck_Narrowing: adding setup for characters; correcting import statement | file | diff | annotate |
Thu, 09 Jun 2011 08:32:14 +0200 | bulwahn | moving Quickcheck_Narrowing from Library to base directory | file | diff | annotate | base |