src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs
2011-12-05 bulwahn 2011-12-05 inverted flag potential to genuine_only in the quickcheck narrowing Haskell code
2011-11-30 bulwahn 2011-11-30 quickcheck narrowing also shows potential counterexamples
2011-09-26 bulwahn 2011-09-26 importing the Generated_Code module qualified to reduce the probability of name clashes between the static code and the generated code in the narrowing-based Quickcheck
2011-09-19 bulwahn 2011-09-19 catch PatternMatchFail exceptions in narrowing-based quickcheck
2011-09-06 bulwahn 2011-09-06 avoid "Code" as structure name (cf. 3bc39cfe27fe)
2011-06-09 bulwahn 2011-06-09 adding narrowing engine for existentials