diff -r f5417836dbea -r 01594f816e3a src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Mon May 17 15:11:25 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Mon May 17 23:54:15 2010 +0200
@@ -469,8 +469,8 @@
       serialize_haskell module_prefix module_name string_classes));
 
 val _ =
-  OuterSyntax.command "code_monad" "define code syntax for monads" OuterKeyword.thy_decl (
-    OuterParse.term_group -- OuterParse.name >> (fn (raw_bind, target) =>
+  Outer_Syntax.command "code_monad" "define code syntax for monads" Keyword.thy_decl (
+    Parse.term_group -- Parse.name >> (fn (raw_bind, target) =>
       Toplevel.theory  (add_monad target raw_bind))
   );