1.1 --- a/src/Tools/Code/code_haskell.ML	Fri Mar 16 14:46:13 2012 +0100
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Fri Mar 16 18:20:12 2012 +0100
     1.3 @@ -449,10 +449,9 @@
     1.4  (** Isar setup **)
     1.5  
     1.6  val _ =
     1.7 -  Outer_Syntax.command "code_monad" "define code syntax for monads" Keyword.thy_decl (
     1.8 -    Parse.term_group -- Parse.name >> (fn (raw_bind, target) =>
     1.9 -      Toplevel.theory  (add_monad target raw_bind))
    1.10 -  );
    1.11 +  Outer_Syntax.command @{command_spec "code_monad"} "define code syntax for monads"
    1.12 +    (Parse.term_group -- Parse.name >> (fn (raw_bind, target) =>
    1.13 +      Toplevel.theory  (add_monad target raw_bind)));
    1.14  
    1.15  val setup =
    1.16    Code_Target.add_target