src/HOL/ex/Codegenerator.thy
changeset 21922 76e1fce071aa
parent 21911 e29bcab0c81c
child 22297 757ace95c4a0
     1.1 --- a/src/HOL/ex/Codegenerator.thy	Thu Dec 28 14:30:41 2006 +0100
     1.2 +++ b/src/HOL/ex/Codegenerator.thy	Thu Dec 28 16:49:35 2006 +0100
     1.3 @@ -8,11 +8,6 @@
     1.4  imports ExecutableContent
     1.5  begin
     1.6  
     1.7 -code_gen "*" (SML #) (Haskell -)
     1.8 -
     1.9 -ML {* set Toplevel.debug *}
    1.10 -code_gen (OCaml "~/projects/codegen/test/OCaml/ROOT.ocaml")
    1.11 -
    1.12 -code_gen "*"(OCaml "~/projects/codegen/test/OCaml/ROOT.ocaml")
    1.13 +code_gen "*" (SML #) (Haskell -) (OCaml -)
    1.14  
    1.15  end
    1.16 \ No newline at end of file