src/HOL/ex/Codegenerator.thy

Now also handles FO problems

(*  ID:         $Id$
    Author:     Florian Haftmann, TU Muenchen
*)

header {* Tests and examples for code generator *}

theory Codegenerator
imports ExecutableContent
begin

code_gen "*" in SML in OCaml file - in OCaml file -
code_gen in SML in OCaml file - in OCaml file -

end