# 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