Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | improved handling of overloaded constants; examples with numerals | file | diff | annotate |
Fri, 30 Oct 2009 09:55:15 +0100 | bulwahn | renamed rpred to random | file | diff | annotate |
Wed, 28 Oct 2009 00:07:51 +0100 | wenzelm | proper headers; | file | diff | annotate |
Tue, 27 Oct 2009 09:06:05 +0100 | bulwahn | added examples for quickcheck prototype | file | diff | annotate |
Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | adding a prototype of a counter-example generator based on the predicate compiler to HOL/ex | file | diff | annotate |
Tue, 27 Oct 2009 09:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | file | diff | annotate |