| Wed, 28 Oct 2009 16:25:27 +0100 | wenzelm | conceal internal bindings; | 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 |