1.1 --- a/src/HOLCF/Tools/cont_consts.ML	Sat May 22 18:34:38 2010 -0700
     1.2 +++ b/src/HOLCF/Tools/cont_consts.ML	Sat May 22 19:17:18 2010 -0700
     1.3 @@ -90,11 +90,4 @@
     1.4  
     1.5  end;
     1.6  
     1.7 -
     1.8 -(* outer syntax *)
     1.9 -
    1.10 -val _ =
    1.11 -  Outer_Syntax.command "consts" "declare constants (HOLCF)" Keyword.thy_decl
    1.12 -    (Scan.repeat1 Parse.const_binding >> (Toplevel.theory o add_consts_cmd));
    1.13 -
    1.14  end;