removed obsolete old-style syntax;

--- a/src/HOLCF/cont_consts.ML	Wed Oct 19 21:52:37 2005 +0200
+++ b/src/HOLCF/cont_consts.ML	Wed Oct 19 21:52:38 2005 +0200
@@ -107,10 +107,4 @@
 
 end;
 
-
-(* old-style theory syntax *)
-
-val _ = ThySyn.add_syntax []
-  [ThyParse.section "consts" "|> ContConsts.add_consts" ThyParse.const_decls];
-
 end;