- let mathml = Xml2Gdome.document_of_xml Misc.domImpl xmlpres in
- (mathml,
- (ids_to_terms, ids_to_father_ids, ids_to_conjectures, ids_to_hypotheses))
+ let mathml = Xml2Gdome.document_of_xml DomMisc.domImpl xmlpres in
+ (mathml,(annobj,
+ (ids_to_terms, ids_to_father_ids, ids_to_conjectures, ids_to_hypotheses,
+ ids_to_inner_sorts,ids_to_inner_types)))