src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
2011-05-30 bulwahn 2011-05-30 improving overlord option and partial_term_of derivation; changing Narrowing_Engine to print partial terms
2011-05-30 bulwahn 2011-05-30 automatic derivation of partial_term_of functions; renaming type and term to longer names narrowing_type and narrowing_term; hiding constant C; adding overlord option
2011-03-23 bulwahn 2011-03-23 changing Quickcheck_Narrowing's main function to enumerate the depth instead upto the depth
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 Main file generation for Quickcheck_Narrowing
2011-03-11 bulwahn 2011-03-11 moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better