src/HOL/ex/Quickcheck_Narrowing_Examples.thy
2011-09-26 bulwahn 2011-09-26 adding an example with inductive predicates to quickcheck narrowing examples
2011-06-10 bulwahn 2011-06-10 adding another narrowing strategy for integers
2011-06-09 bulwahn 2011-06-09 correcting import theory of examples
2011-06-07 bulwahn 2011-06-07 adding examples with existentials
2011-03-31 bulwahn 2011-03-31 adapting Quickcheck_Narrowing (overseen in 234ec7011e5d); commenting out some examples temporarily
2011-03-18 bulwahn 2011-03-18 handling a quite restricted set of functions in Quickcheck_Narrowing by an easy transformation
2011-03-18 bulwahn 2011-03-18 adding minimalistic setup and transformation to handle functions as data to enable naive function generation for Quickcheck_Narrowing
2011-03-18 bulwahn 2011-03-18 extending code_int type more; adding narrowing instance for type int; added test case for int instance
2011-03-18 bulwahn 2011-03-18 translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
2011-03-14 bulwahn 2011-03-14 tuned exhaustive generator compilation; added narrowing generator compilation; removed exec as does not work properly here (reverting changeset 994d088fbfbc)
2011-03-14 bulwahn 2011-03-14 correcting names in Narrowing_Engine and example theory for Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 adapting example file to renaming of the quickcheck tester
2011-03-11 bulwahn 2011-03-11 renaming example file correctly