| Wed, 20 Jan 2010 11:56:45 +0100 | bulwahn | refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck | file | diff | annotate |
| Thu, 05 Nov 2009 16:10:49 +0100 | wenzelm | eliminated funny record patterns and made SML/NJ happy; | file | diff | annotate |
| Tue, 03 Nov 2009 10:24:05 +0100 | bulwahn | recursively replacing abstractions by new definitions in the predicate compiler | 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:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | file | diff | annotate |