| Thu, 09 Sep 2010 16:43:57 +0200 | bulwahn | changing the container for the quickcheck options to a generic data | file | diff | annotate |
| Mon, 29 Mar 2010 17:30:43 +0200 | bulwahn | adopting Predicate_Compile_Quickcheck | file | diff | annotate |
| Wed, 24 Mar 2010 17:40:43 +0100 | bulwahn | moved further predicate compile files to HOL-Library | file | diff | annotate |