src/HOL/Library/SML_Quickcheck.thy

expand_fun_eq -> ext_iff
expand_set_eq -> set_ext_iff
Naming in line now with multisets

header {* Install quickcheck of SML code generator *}

theory SML_Quickcheck
imports Main
begin

setup {*
  Inductive_Codegen.quickcheck_setup #>
  Quickcheck.add_generator ("SML", Codegen.test_term)
*}

end