src/HOL/ex/Codegenerator.thy

renamed code_gen to export_code

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

header {* Tests and examples for code generator *}

theory Codegenerator
imports ExecutableContent
begin

export_code "*" in SML module_name CodegenTest
  in OCaml file -
  in Haskell file -

end