| Mon, 02 Jul 2012 12:23:30 +0200 | bulwahn | adding some minimal documentation and an example of quickcheck's interfaces | file | diff | annotate |
| Fri, 30 Mar 2012 08:44:01 +0200 | bulwahn | adding theory to prove completeness of the exhaustive generators | file | diff | annotate |
| Mon, 27 Feb 2012 12:12:28 +0100 | wenzelm | reactivated Find_Unused_Assms_Examples to avoid untested / dead stuff in the repository; | file | diff | annotate |
| Mon, 27 Feb 2012 10:56:36 +0100 | bulwahn | removing Find_Unused_Assms_Examples from session as it requires much time | file | diff | annotate |
| Wed, 22 Feb 2012 18:08:27 +0100 | bulwahn | NEWS | file | diff | annotate |
| Wed, 22 Feb 2012 17:25:35 +0100 | bulwahn | adding some examples with find_unused_assms command | file | diff | annotate |
| Wed, 22 Feb 2012 08:01:41 +0100 | bulwahn | moving Quickcheck's example to its own session | file | diff | annotate |