| Fri, 10 Jun 2011 15:42:21 +0200 | bulwahn | adding another narrowing strategy for integers | file | diff | annotate |
| Thu, 09 Jun 2011 14:04:38 +0200 | hoelzl | fixed document generation for HOL | file | diff | annotate |
| Thu, 09 Jun 2011 09:07:13 +0200 | bulwahn | fixing code generation test | file | diff | annotate |
| Thu, 09 Jun 2011 08:32:22 +0200 | bulwahn | removing char setup | file | diff | annotate |
| 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 |