removed private files

--- 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