src/HOL/Library/Predicate_Compile_Quickcheck.thy
Sun, 02 Oct 2016 14:07:43 +0200 wenzelm updated headers;
Thu, 01 Sep 2016 21:28:55 +0200 wenzelm tuned headers;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Wed, 29 Oct 2014 11:13:24 +0100 wenzelm modernized setup;
Fri, 15 Feb 2013 08:31:31 +0100 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Fri, 11 Nov 2011 08:32:45 +0100 bulwahn adding CPS compilation to predicate compiler;
Mon, 18 Jul 2011 10:34:21 +0200 bulwahn adapting quickcheck based on the analysis of the predicate compiler
Thu, 09 Sep 2010 16:43:57 +0200 bulwahn changing the container for the quickcheck options to a generic data
Mon, 29 Mar 2010 17:30:43 +0200 bulwahn adopting Predicate_Compile_Quickcheck
Wed, 24 Mar 2010 17:40:43 +0100 bulwahn moved further predicate compile files to HOL-Library
less more (0) tip