| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Wed, 29 Oct 2014 11:13:24 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Fri, 15 Feb 2013 08:31:31 +0100 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
| Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
| Fri, 11 Nov 2011 08:32:45 +0100 | bulwahn | adding CPS compilation to predicate compiler; | file | diff | annotate |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting quickcheck based on the analysis of the predicate compiler | file | diff | annotate |
| 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 |