thy_decl outer syntax for repdef

--- a/src/HOLCF/Tools/repdef.ML	Thu Nov 19 22:30:14 2009 -0800
+++ b/src/HOLCF/Tools/repdef.ML	Thu Nov 19 23:15:24 2009 -0800
@@ -172,7 +172,7 @@
     ((def, the_default (Binding.map_name (Syntax.type_name mx) t) opt_name), (t, vs, mx), A, morphs);
 
 val _ =
-  OuterSyntax.command "repdef" "HOLCF definition of representable domains" K.thy_goal
+  OuterSyntax.command "repdef" "HOLCF definition of representable domains" K.thy_decl
     (repdef_decl >>
       (Toplevel.print oo (Toplevel.theory o mk_repdef)));