diff -r f19e5837ad69 -r 5c6955f487e5 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Fri Mar 16 14:46:13 2012 +0100
+++ b/src/Tools/Code/code_haskell.ML	Fri Mar 16 18:20:12 2012 +0100
@@ -449,10 +449,9 @@
 (** Isar setup **)
 
 val _ =
-  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))
-  );
+  Outer_Syntax.command @{command_spec "code_monad"} "define code syntax for monads"
+    (Parse.term_group -- Parse.name >> (fn (raw_bind, target) =>
+      Toplevel.theory  (add_monad target raw_bind)));
 
 val setup =
   Code_Target.add_target