Mercurialisabelle / file revisions
summary | shortlog | changelog | graph | tags | branches | file | revisions | annotate | diff | rss
src/HOL/Library/Predicate_Compile_Quickcheck.thy
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 file | diff | annotate
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses; file | diff | annotate
2011-11-11 bulwahn 2011-11-11 adding CPS compilation to predicate compiler; removing function_flattening reference; new testers smart_exhaustive and smart_slow_exhaustive; renaming PredicateCompFuns to Predicate_Comp_Funs; file | diff | annotate
2011-07-18 bulwahn 2011-07-18 adapting quickcheck based on the analysis of the predicate compiler file | diff | annotate
2010-09-09 bulwahn 2010-09-09 changing the container for the quickcheck options to a generic data file | diff | annotate
2010-03-29 bulwahn 2010-03-29 adopting Predicate_Compile_Quickcheck file | diff | annotate
2010-03-24 bulwahn 2010-03-24 moved further predicate compile files to HOL-Library file | diff | annotate
isabelle