src/HOL/Tools/Quickcheck/narrowing_generators.ML
2011-03-11 bulwahn 2011-03-11 renaming tester from lazy_exhaustive to narrowing
2011-03-11 bulwahn 2011-03-11 adapting Main file generation for Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 adapting Quickcheck_Narrowing and example file to new names
2011-03-11 bulwahn 2011-03-11 renaming lazysmallcheck ML file to Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better