Tue, 23 Sep 2008 18:11:43 +0200 | haftmann | fixed quickcheck parameter syntax | file | diff | annotate |
Mon, 22 Sep 2008 13:56:04 +0200 | haftmann | generic quickcheck framework | file | diff | annotate |
Mon, 22 Sep 2008 08:00:26 +0200 | haftmann | some steps towards generic quickcheck framework | file | diff | annotate |
Wed, 17 Sep 2008 07:32:04 +0200 | haftmann | added quickcheck.ML | file | diff | annotate |