# HG changeset patch # User haftmann # Date 1167320975 -3600 # Node ID 76e1fce071aae730e8d85316e10d9bfb4392cb98 # Parent f241e9cd26ca4d79b875c553dde476c11225e8ee removed private files diff -r f241e9cd26ca -r 76e1fce071aa src/HOL/ex/Codegenerator.thy --- a/src/HOL/ex/Codegenerator.thy Thu Dec 28 14:30:41 2006 +0100 +++ b/src/HOL/ex/Codegenerator.thy Thu Dec 28 16:49:35 2006 +0100 @@ -8,11 +8,6 @@ imports ExecutableContent begin -code_gen "*" (SML #) (Haskell -) - -ML {* set Toplevel.debug *} -code_gen (OCaml "~/projects/codegen/test/OCaml/ROOT.ocaml") - -code_gen "*"(OCaml "~/projects/codegen/test/OCaml/ROOT.ocaml") +code_gen "*" (SML #) (Haskell -) (OCaml -) end \ No newline at end of file