(* ID: $Id$ Author: Florian Haftmann, TU Muenchen *) header {* Tests and examples for code generator *} theory Codegenerator imports ExecutableContent begin code_gen "*" (SML #) (Haskell -) (OCaml -) end