let mpres_document pres_box =
Xml.add_xml_declaration (CicNotationPres.print_box pres_box)
let ntxt_of_cic_sequent ~map_unicode_to_tex size status metasenv subst sequent =
let content_sequent,ids_to_refs =
let mpres_document pres_box =
Xml.add_xml_declaration (CicNotationPres.print_box pres_box)
let ntxt_of_cic_sequent ~map_unicode_to_tex size status metasenv subst sequent =
let content_sequent,ids_to_refs =