src/HOL/Library/SML_Quickcheck.thy
2010-06-10 haftmann 2010-06-10 moved inductive_codegen to place where product type is available; tuned structure name
2009-11-19 berghofe 2009-11-19 Added new counterexample generator SML_inductive for goals involving inductive predicates.
2009-10-23 haftmann 2009-10-23 turned off old quickcheck