
diff -r 96013f81faef -r 7d1a16c77f7c src/HOL/ex/Codegenerator.thy
--- a/src/HOL/ex/Codegenerator.thy	Thu Aug 09 15:52:42 2007 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Thu Aug 09 15:52:45 2007 +0200
@@ -11,8 +11,5 @@
 code_gen "*" in SML to CodegenTest
   in OCaml file -
   in Haskell file -
-code_gen in SML to CodegenTest
-  in OCaml file -
-  in Haskell file -
 
 end




