(* *)
(******************************************************************************)
-exception IllFormedUri of string
-val string_of_cic_textual_parser_uri : CicTextualParser0.uri -> string
-val cic_textual_parser_uri_of_string : string -> CicTextualParser0.uri
-
-val wrong_xpointer_format_from_wrong_xpointer_format' : string -> string
-
val domImpl : Gdome.domImplementation
val helmns : Gdome.domString
+
+val strip_xml_headings: string -> string
+