src/HOL/Library/SML_Quickcheck.thy
author haftmann
Fri Aug 27 19:34:23 2010 +0200 (2010-08-27 ago)
changeset 38857 97775f3e8722
parent 37390 8781d80026fc
child 39252 8f176e575a49
permissions -rw-r--r--
renamed class/constant eq to equal; tuned some instantiations
     1 
     2 header {* Install quickcheck of SML code generator *}
     3 
     4 theory SML_Quickcheck
     5 imports Main
     6 begin
     7 
     8 setup {*
     9   Inductive_Codegen.quickcheck_setup #>
    10   Quickcheck.add_generator ("SML", Codegen.test_term)
    11 *}
    12 
    13 end