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