src/HOL/Library/SML_Quickcheck.thy
author bulwahn
Thu Sep 09 16:43:57 2010 +0200 (2010-09-09)
changeset 39252 8f176e575a49
parent 37390 8781d80026fc
child 40919 cdb34f393a7e
permissions -rw-r--r--
changing the container for the quickcheck options to a generic data
haftmann@33084
     1
haftmann@33084
     2
header {* Install quickcheck of SML code generator *}
haftmann@33084
     3
haftmann@33084
     4
theory SML_Quickcheck
haftmann@33084
     5
imports Main
haftmann@33084
     6
begin
haftmann@33084
     7
haftmann@33084
     8
setup {*
haftmann@37390
     9
  Inductive_Codegen.quickcheck_setup #>
bulwahn@39252
    10
  Context.theory_map (Quickcheck.add_generator ("SML", Codegen.test_term))
haftmann@33084
    11
*}
haftmann@33084
    12
haftmann@33084
    13
end