src/HOL/ex/Codegenerator.thy

lemma geometric_sum no longer needs class division_by_zero

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

header {* Tests and examples for code generator *}

theory Codegenerator
imports ExecutableContent
begin

code_gen "*" (SML) (Haskell) (OCaml)
code_gen (SML #) (Haskell -) (OCaml -)

end