src/HOL/Quickcheck_Examples/Completeness.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-29 wenzelm 2014-10-29 tuned;
2014-07-24 wenzelm 2014-07-24 tuned imports;
2014-07-11 Andreas Lochbihler 2014-07-11 reactivate session Quickcheck_Examples
2013-02-15 haftmann 2013-02-15 two target language numeral types: integer and natural, as replacement for code_numeral; former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral; refined stack of theories implementing int and/or nat by target language numerals; reduced number of target language numeral types to exactly one
2012-03-30 wenzelm 2012-03-30 tuned proofs, less guesswork;
2012-03-30 bulwahn 2012-03-30 adding theory to prove completeness of the exhaustive generators