| Tue, 02 Mar 2010 22:13:33 +0100 | bulwahn | adding depth to predicate compile quickcheck for mutabelle tests; removing obsolete references in predicate compile quickcheck | file | diff | annotate |
| Tue, 23 Feb 2010 13:36:15 +0100 | bulwahn | adopting mutabelle and quickcheck to return timing information; exporting make_case_combs in datatype package for predicate compiler; adding Spec_Rules declaration for tail recursive functions; improving the predicate compiler and function flattening | file | diff | annotate |
| 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 |
| Tue, 27 Oct 2009 09:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | file | diff | annotate |