Thu, 09 Jun 2011 08:32:22 +0200 | bulwahn | removing char setup | changeset | files |
Thu, 09 Jun 2011 08:32:21 +0200 | bulwahn | removing unneccessary manual instantiations and dead definitions; hiding more constants and facts | changeset | files |
Thu, 09 Jun 2011 08:32:19 +0200 | bulwahn | adding a nicer error message for quickcheck_narrowing; hiding fact empty_def | changeset | files |