1
2 header {* Install quickcheck of SML code generator *}
3
4 theory SML_Quickcheck
5 imports Main
6 begin
7
8 setup {*
9 Quickcheck.add_generator ("SML", Codegen.test_term)
10 *}
11
12 end