src/HOL/Library/SML_Quickcheck.thy

renamed Nitpick option "coalesce_type_vars" to "merge_type_vars" (shorter) and cleaned up old hacks that are no longer necessary

header {* Install quickcheck of SML code generator *}

theory SML_Quickcheck
imports Main
begin

setup {*
  Quickcheck.add_generator ("SML", Codegen.test_term)
*}

end