export const_decls parser;

--- a/src/Pure/Thy/thy_parse.ML	Mon Nov 03 14:06:27 1997 +0100
+++ b/src/Pure/Thy/thy_parse.ML	Mon Nov 03 14:09:16 1997 +0100
@@ -50,6 +50,7 @@
   val opt_infix: token list -> string * token list
   val opt_mixfix: token list -> string * token list
   val opt_witness: token list -> string * token list
+  val const_decls: token list -> string * token list
   type syntax
   val make_syntax: string list ->
     (string * (token list -> (string * string) * token list)) list -> syntax