src/HOL/Library/Quickcheck_Narrowing.thy
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 a simple datatype for representing functions in 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-14 bulwahn 2011-03-14 removing definition of cons0; hiding constants in Quickcheck_Narrowing
2011-03-14 bulwahn 2011-03-14 tuned subsubsection names in Quickcheck_Narrowing
2011-03-14 bulwahn 2011-03-14 correcting names in Narrowing_Engine and example theory for Quickcheck_Narrowing
2011-03-14 bulwahn 2011-03-14 renaming series and serial to narrowing in Quickcheck_Narrowing
2011-03-13 wenzelm 2011-03-13 fixed document;
2011-03-11 bulwahn 2011-03-11 renaming lazysmallcheck ML file to Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 renaming LSC to Quickcheck_Narrowing