src/HOL/Quickcheck_Examples/Completeness.thy
Wed, 29 Oct 2014 11:19:27 +0100 wenzelm tuned;
Thu, 24 Jul 2014 14:08:29 +0200 wenzelm tuned imports;
Fri, 11 Jul 2014 15:52:03 +0200 Andreas Lochbihler reactivate session Quickcheck_Examples
Fri, 15 Feb 2013 08:31:31 +0100 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
Fri, 30 Mar 2012 17:22:17 +0200 wenzelm tuned proofs, less guesswork;
Fri, 30 Mar 2012 08:44:01 +0200 bulwahn adding theory to prove completeness of the exhaustive generators
less more (0) tip