header {* Install quickcheck of SML code generator *} theory SML_Quickcheck imports Main begin setup {* Quickcheck.add_generator ("SML", Codegen.test_term) *} end